| Publication | Date of Publication | Type |
|---|
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
Memoirs of the American Mathematical Society | 2019-06-26 | Paper |
| scientific article; zbMATH DE number 1909447 (Why is no real title available?) | 2003-05-13 | Paper |
Origins of Recursive Function Theory
IEEE Annals of the History of Computing | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 46852 (Why is no real title available?) | 1992-09-17 | Paper |
Recursive Functionals and Quantifiers of Finite Types Revisited, V
Transactions of the American Mathematical Society | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4068851 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4125357 (Why is no real title available?) | 1988-01-01 | Paper |
Reflections on Church's thesis
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3974941 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3983152 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3934392 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3900718 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3912368 (Why is no real title available?) | 1982-01-01 | Paper |
The theory of recursive functions, approaching its centennial
Bulletin of the American Mathematical Society | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3708381 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3677825 (Why is no real title available?) | 1978-01-01 | Paper |
An addendum to “The work of Kurt Gödel”
Journal of Symbolic Logic | 1978-01-01 | Paper |
The work of Kurt Gödel
Journal of Symbolic Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3427306 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3428879 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3332430 (Why is no real title available?) | 1971-01-01 | Paper |
Formalized recursive functionals and formalized realizability
Memoirs of the American Mathematical Society | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3304010 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3241254 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3216177 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3216186 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3304914 (Why is no real title available?) | 1965-01-01 | Paper |
Disjunction and existence under implication in elementary intuitionistic formalisms
Journal of Symbolic Logic | 1963-01-01 | Paper |
Recursive Functionals and Quantifiers of Finite Types II
Transactions of the American Mathematical Society | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3273184 (Why is no real title available?) | 1962-01-01 | Paper |
Turing-Machine Computable Functionals of Finite Types II†
Proceedings of the London Mathematical Society | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3304992 (Why is no real title available?) | 1962-01-01 | Paper |
Lambda-definable functionals of finite types
Fundamenta Mathematicae | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3204624 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3250556 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3250557 (Why is no real title available?) | 1960-01-01 | Paper |
Recursive Functionals and Quantifiers of Finite Types I
Transactions of the American Mathematical Society | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3163761 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3177714 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3144510 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3139751 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3139751 (Why is no real title available?) | 1958-01-01 | Paper |
Extension of an effectively generated class of functions by enumeration
Colloquium Mathematicum | 1958-01-01 | Paper |
| A Note on Function Quantification | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3123996 (Why is no real title available?) | 1956-01-01 | Paper |
On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
American Journal of Mathematics | 1955-01-01 | Paper |
| Arithmetical Predicates and Function Quantifiers | 1955-01-01 | Paper |
Hierarchies of number-theoretic predicates
Bulletin of the American Mathematical Society | 1955-01-01 | Paper |
The upper semi-lattice of degrees of recursive unsolvability
Annals of Mathematics. Second Series | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3073037 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3074067 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3074068 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3077155 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3057484 (Why is no real title available?) | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3052389 (Why is no real title available?) | 1949-01-01 | Paper |
On the interpretation of intuitionistic number theory
Journal of Symbolic Logic | 1945-01-01 | Paper |
On the Forms of the Predicates in the Theory of Constructive Ordinals
American Journal of Mathematics | 1944-01-01 | Paper |
| Recursive Predicates and Quantifiers | 1943-01-01 | Paper |
A postulational basis for probability.
American Mathematical Monthly | 1939-01-01 | Paper |
| A Postulational Basis for Probability | 1939-01-01 | Paper |
On notation for ordinal numbers
Journal of Symbolic Logic | 1938-01-01 | Paper |
On notation for ordinal numbers.
Journal of Symbolic Logic | 1938-01-01 | Paper |
| scientific article; zbMATH DE number 3024905 (Why is no real title available?) | 1937-01-01 | Paper |
Formal definitions in the theory of ordinal numbers.
Fundamenta Mathematicae | 1937-01-01 | Paper |
General recursive functions of natural numbers
Mathematische Annalen | 1936-01-01 | Paper |
A note on recursive functions
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
\(\lambda\)-definability and recursiveness
Duke Mathematical Journal | 1936-01-01 | Paper |
A note on recursive functions.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Constructions of formal definitions of functions of ordinal numbers.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
General recursive functions of natural numbers.
Mathematische Annalen | 1936-01-01 | Paper |
\(\lambda\)-definability and recursiveness.
Duke Mathematical Journal | 1936-01-01 | Paper |
A note on recursive functions.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
The inconsistency of certain formal logics
Annals of Mathematics. Second Series | 1935-01-01 | Paper |
A Theory of Positive Integers in Formal Logic. Part I
American Journal of Mathematics | 1935-01-01 | Paper |
A Theory of Positive Integers in Formal Logic. Part II
American Journal of Mathematics | 1935-01-01 | Paper |
A theory of positive integers in formal logic. I.
American Journal of Mathematics | 1935-01-01 | Paper |
A theory of positive integers in formal logic. II.
American Journal of Mathematics | 1935-01-01 | Paper |
The inconsistency of certain formal logics.
Annals of Mathematics. Second Series | 1935-01-01 | Paper |
General recursive functions of natural numbers.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
\(\lambda\)-definability and recursiveness.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
The inconsistency of certain formal logics.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
Formal definitions in the theory of ordinal numbers.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
Proof by cases in formal logic
Annals of Mathematics. Second Series | 1934-01-01 | Paper |
Proof by cases in formal logic.
Annals of Mathematics. Second Series | 1934-01-01 | Paper |
