| Publication | Date of Publication | Type |
|---|
| Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus | 2019-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4805348 | 2003-05-13 | Paper |
| Origins of Recursive Function Theory | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997000 | 1992-09-17 | Paper |
| Recursive Functionals and Quantifiers of Finite Types Revisited, V | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801538 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205405 | 1988-01-01 | Paper |
| Reflections on Church's thesis | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741612 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3748274 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679149 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689176 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706486 | 1982-01-01 | Paper |
| The theory of recursive functions, approaching its centennial | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900048 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874195 | 1978-01-01 | Paper |
| An addendum to “The work of Kurt Gödel” | 1978-01-01 | Paper |
| The work of Kurt Gödel | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214888 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181653 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609347 | 1971-01-01 | Paper |
| Formalized recursive functionals and formalized realizability | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585372 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5528627 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343325 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343334 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586230 | 1965-01-01 | Paper |
| Disjunction and existence under implication in elementary intuitionistic formalisms | 1963-01-01 | Paper |
| Recursive Functionals and Quantifiers of Finite Types II | 1963-01-01 | Paper |
| Lambda-definable functionals of finite types | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557923 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586296 | 1962-01-01 | Paper |
| Turing-Machine Computable Functionals of Finite Types II† | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331485 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537369 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537370 | 1960-01-01 | Paper |
| Recursive Functionals and Quantifiers of Finite Types I | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3261419 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3281965 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3845365 | 1959-01-01 | Paper |
| Extension of an effectively generated class of functions by enumeration | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3256314 | 1958-01-01 | Paper |
| A Note on Function Quantification | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3239288 | 1956-01-01 | Paper |
| Arithmetical Predicates and Function Quantifiers | 1955-01-01 | Paper |
| Hierarchies of number-theoretic predicates | 1955-01-01 | Paper |
| On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) | 1955-01-01 | Paper |
| The upper semi-lattice of degrees of recursive unsolvability | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5812175 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813180 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813181 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816113 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5796642 | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5791648 | 1949-01-01 | Paper |
| On the interpretation of intuitionistic number theory | 1945-01-01 | Paper |
| On the Forms of the Predicates in the Theory of Constructive Ordinals | 1944-01-01 | Paper |
| Recursive Predicates and Quantifiers | 1943-01-01 | Paper |
| A postulational basis for probability. | 1939-01-01 | Paper |
| A Postulational Basis for Probability | 1939-01-01 | Paper |
| On notation for ordinal numbers. | 1938-01-01 | Paper |
| On notation for ordinal numbers | 1938-01-01 | Paper |
| Formal definitions in the theory of ordinal numbers. | 1937-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5765116 | 1937-01-01 | Paper |
| A note on recursive functions. | 1936-01-01 | Paper |
| Constructions of formal definitions of functions of ordinal numbers. | 1936-01-01 | Paper |
| General recursive functions of natural numbers | 1936-01-01 | Paper |
| \(\lambda\)-definability and recursiveness | 1936-01-01 | Paper |
| A note on recursive functions | 1936-01-01 | Paper |
| General recursive functions of natural numbers. | 1936-01-01 | Paper |
| \(\lambda\)-definability and recursiveness. | 1936-01-01 | Paper |
| A note on recursive functions. | 1936-01-01 | Paper |
| A theory of positive integers in formal logic. I. | 1935-01-01 | Paper |
| A theory of positive integers in formal logic. II. | 1935-01-01 | Paper |
| The inconsistency of certain formal logics. | 1935-01-01 | Paper |
| The inconsistency of certain formal logics | 1935-01-01 | Paper |
| A Theory of Positive Integers in Formal Logic. Part II | 1935-01-01 | Paper |
| A Theory of Positive Integers in Formal Logic. Part I | 1935-01-01 | Paper |
| General recursive functions of natural numbers. | 1935-01-01 | Paper |
| \(\lambda\)-definability and recursiveness. | 1935-01-01 | Paper |
| The inconsistency of certain formal logics. | 1935-01-01 | Paper |
| Formal definitions in the theory of ordinal numbers. | 1935-01-01 | Paper |
| Proof by cases in formal logic | 1934-01-01 | Paper |
| Proof by cases in formal logic. | 1934-01-01 | Paper |
