| Publication | Date of Publication | Type |
|---|
| The collected works of Alonzo Church. Edited by Tyler Burge and Herbert B. Enderton | 2020-04-23 | Paper |
A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
Nôus | 2017-07-14 | Paper |
Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
Nôus | 2017-07-14 | Paper |
Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
Nôus | 2017-07-14 | Paper |
| scientific article; zbMATH DE number 5872250 (Why is no real title available?) | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 1950433 (Why is no real title available?) | 2003-07-17 | Paper |
Comparison of Russell's resolution of the semantical antinomies with that of Tarski
Journal of Symbolic Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3577209 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3496162 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3233074 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3268995 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3304990 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3214846 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3189696 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3254860 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3328724 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3153134 (Why is no real title available?) | 1960-01-01 | Paper |
Binary recursive arithmetic
Journal de Mathématiques Pures et Appliquées. Neuvième Série | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3122413 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3123136 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3085792 (Why is no real title available?) | 1953-01-01 | Paper |
Some theorems on definability and decidability
Journal of Symbolic Logic | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3074845 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3086346 (Why is no real title available?) | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3052788 (Why is no real title available?) | 1948-01-01 | Paper |
| Introduction to Mathematical Logic (PMS-13) | 1944-01-01 | Paper |
| The Calculi of Lambda Conversion. (AM-6) | 1941-01-01 | Paper |
| Elementary topics in mathematical logic. I. The algebra of classes. II. The algebra of propositions. III. Set theory. | 1941-01-01 | Paper |
The calculi of lambda-conversion.
Annals of Mathematics Studies | 1941-01-01 | Paper |
| scientific article; zbMATH DE number 3042949 (Why is no real title available?) | 1941-01-01 | Paper |
A formulation of the simple theory of types
Journal of Symbolic Logic | 1940-01-01 | Paper |
On the concept of a random sequence
Bulletin of the American Mathematical Society | 1940-01-01 | Paper |
On the concept of a random sequence.
Bulletin of the American Mathematical Society | 1940-01-01 | Paper |
A formulation of the simple theory of types.
Journal of Symbolic Logic | 1940-01-01 | Paper |
The constructive second number class
Bulletin of the American Mathematical Society | 1938-01-01 | Paper |
The constructive second number class.
Bulletin of the American Mathematical Society | 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 |
A note on the Entscheidungsproblem
Journal of Symbolic Logic | 1936-01-01 | Paper |
| Some Properties of Conversion | 1936-01-01 | Paper |
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics | 1936-01-01 | Paper |
A Bibliography of Symbolic Logic
Journal of Symbolic Logic | 1936-01-01 | Paper |
Constructions of formal definitions of functions of ordinal numbers.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
A bibliography of symbolic logic.
Journal of Symbolic Logic | 1936-01-01 | Paper |
| Mathematical logic. Lectures delivered at Princeton University October 1935-Januar 1936. Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl. | 1936-01-01 | Paper |
A note on the Entscheidungsproblem.
Journal of Symbolic Logic | 1936-01-01 | Paper |
Correction to a note on the Entscheidungsproblem.
Journal of Symbolic Logic | 1936-01-01 | Paper |
Correction to A note on the Entscheidungsproblem
Journal of Symbolic Logic | 1936-01-01 | Paper |
Some properties of conversion.
Transactions of the American Mathematical Society | 1936-01-01 | Paper |
An unsolvable problem of elementary number theory.
American Journal of Mathematics | 1936-01-01 | Paper |
| A proof of freedom from contradiction. | 1935-01-01 | Paper |
A Proof of Freedom from Contradiction
Proceedings of the National Academy of Sciences | 1935-01-01 | Paper |
Some properties of conversion.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
An unsolvable problem of elementary number theory.
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 |
| The Richard Paradox | 1934-01-01 | Paper |
The Richard paradox.
American Mathematical Monthly | 1934-01-01 | Paper |
A set of postulates for the foundation of logic. II
Annals of Mathematics. Second Series | 1933-01-01 | Paper |
A set of postulates for the foundation of logic. II.
Bulletin of the American Mathematical Society | 1932-01-01 | Paper |
A set of postulates for the foundation of logic.
Annals of Mathematics. Second Series | 1932-01-01 | Paper |
A set of postulates for the foundation of logic
Annals of Mathematics. Second Series | 1932-01-01 | Paper |
A set of postulates for the foundation of logic. I, II.
Annals of Mathematics. Second Series | 1932-01-01 | Paper |
On the law of the excluded middle.
Bulletin of the American Mathematical Society | 1928-01-01 | Paper |
On the form of differential equations of a system of paths.
Annals of Mathematics. Second Series | 1927-01-01 | Paper |
Alternatives to Zermelo's assumption.
Transactions of the American Mathematical Society | 1927-01-01 | Paper |
On irredundant sets of postulates.
Bulletin of the American Mathematical Society | 1926-01-01 | Paper |
On irredundant sets of postulates.
Transactions of the American Mathematical Society | 1925-01-01 | Paper |
Alternatives to Zermelo's assumption.
Bulletin of the American Mathematical Society | 1925-01-01 | Paper |
On irredundant sets of postulates.
Bulletin of the American Mathematical Society | 1925-01-01 | Paper |
Uniqueness of the Lorentz transformation.
American Mathematical Monthly | 1924-01-01 | Paper |
Uniqueness of the Lorentz transformation.
American Mathematical Monthly | 1924-01-01 | Paper |
