Reminiscences of logicians
- 1 January 1975
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Recursion in the SuperjumpPublished by Elsevier ,1974
- Arithmetical predicates and function quantifiersTransactions of the American Mathematical Society, 1955
- The Upper Semi-Lattice of Degrees of Recursive UnsolvabilityAnnals of Mathematics, 1954
- Recursive predicates and quantifiersTransactions of the American Mathematical Society, 1943
- The Consistency of the Axiom of Choice and of the Generalized Continuum-HypothesisProceedings of the National Academy of Sciences, 1938
- General recursive functions of natural numbersMathematische Annalen, 1936
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930
- Some Theorems on DeducibilityAnnals of Mathematics, 1926