| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7002298 (Why is no real title available?)
| 2019-01-15 | Paper |
scientific article; zbMATH DE number 6296795 (Why is no real title available?)
| 2014-05-19 | Paper |
scientific article; zbMATH DE number 3752816 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3614740 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3512067 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3563039 (Why is no real title available?)
| 1975-01-01 | Paper |
The consistency of a system of combinatory restricted generality
Journal of Symbolic Logic | 1973-01-01 | Paper |
Combinatory logic. Vol. II
Studies in Logic and the Foundations of Mathematics | 1972-01-01 | Paper |
Outlines of a formalist philosophy of mathematics. 3rd printing
Studies in Logic and the Foundations of Mathematics | 1970-01-01 | Paper |
The Undecidability of λK-Conversion
Foundations of Mathematics | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3273873 (Why is no real title available?)
| 1969-01-01 | Paper |
Modified basic functionality in combinatory logic
Dialectica | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3280068 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3296223 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3264891 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3313438 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3267335 (Why is no real title available?)
| 1968-01-01 | Paper |
On Polya frequency functions. IV: The fundamental spline functions and their limits
Journal d'Analyse Mathématique | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3304907 (Why is no real title available?)
| 1965-01-01 | Paper |
Two examples of algorithms
Archiv für Mathematische Logik und Grundlagenforschung | 1965-01-01 | Paper |
Combinatory recursive objects of all finite types
Bulletin of the American Mathematical Society | 1964-01-01 | Paper |
scientific article; zbMATH DE number 3261581 (Why is no real title available?)
| 1963-01-01 | Paper |
Logic as Mathematical Science
Annals of the Japan Association for Philosophy of Science | 1963-01-01 | Paper |
scientific article; zbMATH DE number 3269880 (Why is no real title available?)
| 1962-01-01 | Paper |
scientific article; zbMATH DE number 3254872 (Why is no real title available?)
| 1960-01-01 | Paper |
Combinatory logic. With two sections by William Craig.
Studies in Logic and the Foundations of Mathematics | 1958-01-01 | Paper |
CALCULUSES AND FORMAL SYSTEMS
Dialectica | 1958-01-01 | Paper |
scientific article; zbMATH DE number 3092135 (Why is no real title available?)
| 1954-01-01 | Paper |
scientific article; zbMATH DE number 3084354 (Why is no real title available?)
| 1953-01-01 | Paper |
The system LD
Journal of Symbolic Logic | 1952-01-01 | Paper |
On the definition of negation by a fixed proposition in inferential calculus
Journal of Symbolic Logic | 1952-01-01 | Paper |
The elimination theorem when modality is present
Journal of Symbolic Logic | 1952-01-01 | Paper |
scientific article; zbMATH DE number 3074847 (Why is no real title available?)
| 1952-01-01 | Paper |
The permutability of rules in the classical inferential calculus
Journal of Symbolic Logic | 1952-01-01 | Paper |
scientific article; zbMATH DE number 3077154 (Why is no real title available?)
| 1952-01-01 | Paper |
Outlines of a formalist philosophy of mathematics
Studies in Logic and the Foundations of Mathematics | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3069972 (Why is no real title available?)
| 1951-01-01 | Paper |
Note on iterations with convergence of higher degree
Quarterly of Applied Mathematics | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3068534 (Why is no real title available?)
| 1951-01-01 | Paper |
scientific article; zbMATH DE number 3068535 (Why is no real title available?)
| 1951-01-01 | Paper |
scientific article; zbMATH DE number 3068722 (Why is no real title available?)
| 1951-01-01 | Paper |
scientific article; zbMATH DE number 3062910 (Why is no real title available?)
| 1950-01-01 | Paper |
scientific article; zbMATH DE number 3048967 (Why is no real title available?)
| 1949-01-01 | Paper |
The method of steepest descent for non-linear minimization problems
Quarterly of Applied Mathematics | 1944-01-01 | Paper |
The Heaviside Operational Calculus
| 1943-01-01 | Paper |
The inconsistency of certain formal logics
Journal of Symbolic Logic | 1942-01-01 | Paper |
Some Advances in the Combinatory Theory of Quantification
Proceedings of the National Academy of Sciences | 1942-01-01 | Paper |
The combinatory foundations of mathematical logic
Journal of Symbolic Logic | 1942-01-01 | Paper |
A Formalization of Recursive Arithmetic
American Journal of Mathematics | 1941-01-01 | Paper |
The Paradox of Kleene and Rosser
| 1941-01-01 | Paper |
A formalization of recursive arithmetic.
American Journal of Mathematics | 1941-01-01 | Paper |
Some aspects of the problem of mathematical rigor
Bulletin of the American Mathematical Society | 1941-01-01 | Paper |
Some aspects of the problem of mathematical rigor.
Bulletin of the American Mathematical Society | 1941-01-01 | Paper |
The paradox of Kleene and Rosser.
Transactions of the American Mathematical Society | 1941-01-01 | Paper |
A revision of the fundamental rules of combinatory logic
Journal of Symbolic Logic | 1941-01-01 | Paper |
Consistency and completeness of the theory of combinators
Journal of Symbolic Logic | 1941-01-01 | Paper |
A note on the reduction of Gentzen’s calculus 𝐿𝐽
Bulletin of the American Mathematical Society | 1939-01-01 | Paper |
A note on the reduction of Gentzen's calculus LJ.
Bulletin of the American Mathematical Society | 1939-01-01 | Paper |
On the use of dots as brackets in logical expressions
Journal of Symbolic Logic | 1937-01-01 | Paper |
On the use of dots as brackets in logical expressions.
Journal of Symbolic Logic | 1937-01-01 | Paper |
A note on the associative law in logical algebras.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
A mathematical treatment of the rules of the syllogism.
Mind. New Series | 1936-01-01 | Paper |
First properties of functionality in combinatory logic.
Tohoku Mathematical Journal | 1936-01-01 | Paper |
A note of the associative law in logical algebras.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
A note on the associative law in logical algebras
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
A MATHEMATICAL TREATMENT OF THE RULES OF THE SYLLOGISM
Mind | 1936-01-01 | Paper |
scientific article; zbMATH DE number 3023369 (Why is no real title available?)
| 1936-01-01 | Paper |
Functionality in Combinatory Logic
Proceedings of the National Academy of Sciences | 1934-01-01 | Paper |
Some properties of equality and implication in combinatory logic
Annals of Mathematics. Second Series | 1934-01-01 | Paper |
Foundations of the theory of abstract sets from standpoint of combinatory logic.
Bulletin of the American Mathematical Society | 1934-01-01 | Paper |
Some properties of equality and implication in combinatory logic.
Annals of Mathematics. Second Series | 1934-01-01 | Paper |
Functionality in combinatory logic.
Proceedings of the National Academy of Sciences of the United States of America | 1934-01-01 | Paper |
Apparent variables from the standpoint of combinatory logic
Annals of Mathematics. Second Series | 1933-01-01 | Paper |
Apparent variables from the standpoint of combinatory logic.
Annals of Mathematics. Second Series | 1933-01-01 | Paper |
Some additions to the theory of combinators.
American Journal of Mathematics | 1932-01-01 | Paper |
Some properties of equality in combinatory logic.
Bulletin of the American Mathematical Society | 1932-01-01 | Paper |
Some Additions to the Theory of Combinators
American Journal of Mathematics | 1932-01-01 | Paper |
Some additions to the theory of combinators.
Bulletin of the American Mathematical Society | 1932-01-01 | Paper |
The universal quantifier in combinatory logic
Annals of Mathematics. Second Series | 1931-01-01 | Paper |
The universal quantifier in combinatory logic.
Annals of Mathematics. Second Series | 1931-01-01 | Paper |
Apparent variables from the standpoint of combinatory logic.
Bulletin of the American Mathematical Society | 1931-01-01 | Paper |
Grundlagen der kombinatorischen Logik. I.
American Journal of Mathematics | 1930-01-01 | Paper |
Grundlagen der kombinatorischen Logik. II.
American Journal of Mathematics | 1930-01-01 | Paper |
The foundations of combinatory logic.
Bulletin of the American Mathematical Society | 1930-01-01 | Paper |
The universal quantifier in combinatory logic.
Bulletin of the American Mathematical Society | 1930-01-01 | Paper |
Functionality in combinatory logic.
Bulletin of the American Mathematical Society | 1930-01-01 | Paper |
An analysis of logical substitution.
American Journal of Mathematics | 1929-01-01 | Paper |
