| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5107109 | 2020-04-23 | Paper |
| A Revised Formulation of the Logic of Sense and Denotation. Alternative (1) | 2017-07-14 | Paper |
| Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II) | 2017-07-14 | Paper |
| Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I) | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086770 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413048 | 2003-07-17 | Paper |
| Comparison of Russell's resolution of the semantical antinomies with that of Tarski | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146731 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078030 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5520949 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553242 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586294 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5342028 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5725991 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541298 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606989 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3271835 | 1960-01-01 | Paper |
| Binary recursive arithmetic | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235339 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3238322 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5824669 | 1953-01-01 | Paper |
| Some theorems on definability and decidability | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813903 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5825229 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5792035 | 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. | 1941-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5782196 | 1941-01-01 | Paper |
| A formulation of the simple theory of types | 1940-01-01 | Paper |
| On the concept of a random sequence | 1940-01-01 | Paper |
| On the concept of a random sequence. | 1940-01-01 | Paper |
| A formulation of the simple theory of types. | 1940-01-01 | Paper |
| The constructive second number class | 1938-01-01 | Paper |
| The constructive second number class. | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5765116 | 1937-01-01 | Paper |
| Formal definitions in the theory of ordinal numbers. | 1937-01-01 | Paper |
| A note on the Entscheidungsproblem | 1936-01-01 | Paper |
| Some Properties of Conversion | 1936-01-01 | Paper |
| An Unsolvable Problem of Elementary Number Theory | 1936-01-01 | Paper |
| A Bibliography of Symbolic Logic | 1936-01-01 | Paper |
| Constructions of formal definitions of functions of ordinal numbers. | 1936-01-01 | Paper |
| A bibliography 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. | 1936-01-01 | Paper |
| Correction to a note on the Entscheidungsproblem. | 1936-01-01 | Paper |
| Correction to A note on the Entscheidungsproblem | 1936-01-01 | Paper |
| Some properties of conversion. | 1936-01-01 | Paper |
| An unsolvable problem of elementary number theory. | 1936-01-01 | Paper |
| A proof of freedom from contradiction. | 1935-01-01 | Paper |
| A Proof of Freedom from Contradiction | 1935-01-01 | Paper |
| Some properties of conversion. | 1935-01-01 | Paper |
| An unsolvable problem of elementary number theory. | 1935-01-01 | Paper |
| Formal definitions in the theory of ordinal numbers. | 1935-01-01 | Paper |
| The Richard Paradox | 1934-01-01 | Paper |
| The Richard paradox. | 1934-01-01 | Paper |
| A set of postulates for the foundation of logic. II | 1933-01-01 | Paper |
| A set of postulates for the foundation of logic. II. | 1932-01-01 | Paper |
| A set of postulates for the foundation of logic. | 1932-01-01 | Paper |
| A set of postulates for the foundation of logic | 1932-01-01 | Paper |
| A set of postulates for the foundation of logic. I, II. | 1932-01-01 | Paper |
| On the law of the excluded middle. | 1928-01-01 | Paper |
| On the form of differential equations of a system of paths. | 1927-01-01 | Paper |
| Alternatives to Zermelo's assumption. | 1927-01-01 | Paper |
| On irredundant sets of postulates. | 1926-01-01 | Paper |
| On irredundant sets of postulates. | 1925-01-01 | Paper |
| Alternatives to Zermelo's assumption. | 1925-01-01 | Paper |
| On irredundant sets of postulates. | 1925-01-01 | Paper |
| Uniqueness of the Lorentz transformation. | 1924-01-01 | Paper |
| Uniqueness of the Lorentz transformation. | 1924-01-01 | Paper |
