| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4610347 | 2019-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416152 | 2014-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936712 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178997 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091905 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135470 | 1975-01-01 | Paper |
| The consistency of a system of combinatory restricted generality | 1973-01-01 | Paper |
| Combinatory logic. Vol. II | 1972-01-01 | Paper |
| Outlines of a formalist philosophy of mathematics. 3rd printing | 1970-01-01 | Paper |
| The Undecidability of λK-Conversion | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559529 | 1969-01-01 | Paper |
| Modified basic functionality in combinatory logic | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565113 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579475 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551413 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5593825 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5552746 | 1968-01-01 | Paper |
| On Polya frequency functions. IV: The fundamental spline functions and their limits | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586222 | 1965-01-01 | Paper |
| Two examples of algorithms | 1965-01-01 | Paper |
| Combinatory recursive objects of all finite types | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547552 | 1963-01-01 | Paper |
| Logic as Mathematical Science | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554974 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541309 | 1960-01-01 | Paper |
| Combinatory logic. With two sections by William Craig. | 1958-01-01 | Paper |
| CALCULUSES AND FORMAL SYSTEMS | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830893 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5823267 | 1953-01-01 | Paper |
| The system LD | 1952-01-01 | Paper |
| On the definition of negation by a fixed proposition in inferential calculus | 1952-01-01 | Paper |
| The elimination theorem when modality is present | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813905 | 1952-01-01 | Paper |
| The permutability of rules in the classical inferential calculus | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816112 | 1952-01-01 | Paper |
| Outlines of a formalist philosophy of mathematics | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5810053 | 1951-01-01 | Paper |
| Note on iterations with convergence of higher degree | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5807663 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5807664 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5807824 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802120 | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5788181 | 1949-01-01 | Paper |
| The method of steepest descent for non-linear minimization problems | 1944-01-01 | Paper |
| The Heaviside Operational Calculus | 1943-01-01 | Paper |
| The inconsistency of certain formal logics | 1942-01-01 | Paper |
| Some Advances in the Combinatory Theory of Quantification | 1942-01-01 | Paper |
| The combinatory foundations of mathematical logic | 1942-01-01 | Paper |
| A Formalization of Recursive Arithmetic | 1941-01-01 | Paper |
| The Paradox of Kleene and Rosser | 1941-01-01 | Paper |
| A formalization of recursive arithmetic. | 1941-01-01 | Paper |
| Some aspects of the problem of mathematical rigor | 1941-01-01 | Paper |
| Some aspects of the problem of mathematical rigor. | 1941-01-01 | Paper |
| The paradox of Kleene and Rosser. | 1941-01-01 | Paper |
| A revision of the fundamental rules of combinatory logic | 1941-01-01 | Paper |
| Consistency and completeness of the theory of combinators | 1941-01-01 | Paper |
| A note on the reduction of Gentzen’s calculus 𝐿𝐽 | 1939-01-01 | Paper |
| A note on the reduction of Gentzen's calculus LJ. | 1939-01-01 | Paper |
| On the use of dots as brackets in logical expressions | 1937-01-01 | Paper |
| On the use of dots as brackets in logical expressions. | 1937-01-01 | Paper |
| A note on the associative law in logical algebras. | 1936-01-01 | Paper |
| A mathematical treatment of the rules of the syllogism. | 1936-01-01 | Paper |
| First properties of functionality in combinatory logic. | 1936-01-01 | Paper |
| A note of the associative law in logical algebras. | 1936-01-01 | Paper |
| A note on the associative law in logical algebras | 1936-01-01 | Paper |
| A MATHEMATICAL TREATMENT OF THE RULES OF THE SYLLOGISM | 1936-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5763662 | 1936-01-01 | Paper |
| Functionality in Combinatory Logic | 1934-01-01 | Paper |
| Some properties of equality and implication in combinatory logic | 1934-01-01 | Paper |
| Foundations of the theory of abstract sets from standpoint of combinatory logic. | 1934-01-01 | Paper |
| Some properties of equality and implication in combinatory logic. | 1934-01-01 | Paper |
| Functionality in combinatory logic. | 1934-01-01 | Paper |
| Apparent variables from the standpoint of combinatory logic | 1933-01-01 | Paper |
| Apparent variables from the standpoint of combinatory logic. | 1933-01-01 | Paper |
| Some additions to the theory of combinators. | 1932-01-01 | Paper |
| Some properties of equality in combinatory logic. | 1932-01-01 | Paper |
| Some Additions to the Theory of Combinators | 1932-01-01 | Paper |
| Some additions to the theory of combinators. | 1932-01-01 | Paper |
| The universal quantifier in combinatory logic | 1931-01-01 | Paper |
| The universal quantifier in combinatory logic. | 1931-01-01 | Paper |
| Apparent variables from the standpoint of combinatory logic. | 1931-01-01 | Paper |
| Grundlagen der kombinatorischen Logik. I. | 1930-01-01 | Paper |
| Grundlagen der kombinatorischen Logik. II. | 1930-01-01 | Paper |
| The foundations of combinatory logic. | 1930-01-01 | Paper |
| The universal quantifier in combinatory logic. | 1930-01-01 | Paper |
| Functionality in combinatory logic. | 1930-01-01 | Paper |
| An analysis of logical substitution. | 1929-01-01 | Paper |
