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 |
https://portal.mardi4nfdi.de/entity/Q5559529 | 1969-01-01 | Paper |
The Undecidability of λK-Conversion | 1969-01-01 | Paper |
Modified basic functionality in combinatory logic | 1969-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5551413 | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5552746 | 1968-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/Q5593825 | 1968-01-01 | Paper |
On Polya frequency functions. IV: The fundamental spline functions and their limits | 1966-01-01 | Paper |
Two examples of algorithms | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5586222 | 1965-01-01 | Paper |
Combinatory recursive objects of all finite types | 1964-01-01 | Paper |
Logic as Mathematical Science | 1963-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5547552 | 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 |
On the definition of negation by a fixed proposition in inferential calculus | 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 |
The system LD | 1952-01-01 | Paper |
The elimination theorem when modality is present | 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 |
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/Q5810053 | 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 combinatory foundations of mathematical logic | 1942-01-01 | Paper |
Some Advances in the Combinatory Theory of Quantification | 1942-01-01 | Paper |
The inconsistency of certain formal logics | 1942-01-01 | Paper |
Some aspects of the problem of mathematical rigor. | 1941-01-01 | Paper |
A formalization of recursive arithmetic. | 1941-01-01 | Paper |
The paradox of Kleene and Rosser. | 1941-01-01 | Paper |
Some aspects of the problem of mathematical rigor | 1941-01-01 | Paper |
A Formalization of Recursive Arithmetic | 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 LJ. | 1939-01-01 | Paper |
A note on the reduction of Gentzen’s calculus 𝐿𝐽 | 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 MATHEMATICAL TREATMENT OF THE RULES OF THE SYLLOGISM | 1936-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5763662 | 1936-01-01 | Paper |
A note on the associative law in logical algebras | 1936-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 |
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 |