| Publication | Date of Publication | Type |
|---|
| The Significance of the New Logic | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5290986 | 2006-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452550 | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753258 | 2002-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4257375 | 2000-04-24 | Paper |
| Free Logic, Description, and Virtual Classes | 1999-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223096 | 1998-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4368724 | 1997-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4298902 | 1995-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4014774 | 1992-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998115 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998315 | 1992-09-17 | Paper |
| Elementary Proof That Some Angles Cannot Be Trisected by Ruler and Compass | 1990-01-01 | Paper |
| Peano as logician | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701389 | 1981-01-01 | Paper |
| Predicate functors revisited | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067055 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121872 | 1975-01-01 | Paper |
| Comment on Donald Davidson | 1974-01-01 | Paper |
| Comment on Michael Dummett | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083386 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067054 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685042 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626600 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588619 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5590037 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586210 | 1966-01-01 | Paper |
| On ordinals | 1964-01-01 | Paper |
| On ordinals | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5513467 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5734418 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732640 | 1962-01-01 | Paper |
| Reply to Professor Marcus | 1961-01-01 | Paper |
| A basis for number theory in finite classes | 1961-01-01 | Paper |
| Carnap and logical truth | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3269129 | 1960-01-01 | Paper |
| On Cores and Prime Implicants of Truth Functions | 1959-01-01 | Paper |
| Unification of universes in set theory | 1956-01-01 | Paper |
| On formulas with valid cases | 1956-01-01 | Paper |
| I.—ON FREGE'S WAY OUT | 1955-01-01 | Paper |
| A proof procedure for quantification theory | 1955-01-01 | Paper |
| A Way to Simplify Truth Functions | 1955-01-01 | Paper |
| Quantification and the empty domain | 1954-01-01 | Paper |
| Reduction to a dyadic predicate | 1954-01-01 | Paper |
| Interpretations of sets of conditions | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5817389 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822054 | 1953-01-01 | Paper |
| On ω-inconsistency and a so-called axiom of infinity | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5824675 | 1953-01-01 | Paper |
| Some theorems on definability and decidability | 1952-01-01 | Paper |
| On an Application of Tarski's Theory of Truth | 1952-01-01 | Paper |
| The Problem of Simplifying Truth Functions | 1952-01-01 | Paper |
| A simplifiction of games in extensive form | 1951-01-01 | Paper |
| On the Consistency of “New Foundations” | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5807658 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5825235 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5797033 | 1950-01-01 | Paper |
| On natural deduction | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5801328 | 1948-01-01 | Paper |
| The problem of interpreting modal logic | 1947-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5788671 | 1947-01-01 | Paper |
| On Universals | 1947-01-01 | Paper |
| Steps toward a constructive nominalism | 1947-01-01 | Paper |
| On relations as coextensive with classes | 1946-01-01 | Paper |
| Concatenation as a basis for arithmetic | 1946-01-01 | Paper |
| On the logic of quantification | 1945-01-01 | Paper |
| On ordered pairs | 1945-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5834294 | 1944-01-01 | Paper |
| On existence conditions for elements and classes | 1942-01-01 | Paper |
| Element and Number | 1941-01-01 | Paper |
| Elementary logic. | 1941-01-01 | Paper |
| Element and number. | 1941-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5781761 | 1941-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5845414 | 1940-01-01 | Paper |
| Mathematical logic. | 1940-01-01 | Paper |
| Elimination of extra-logical postulates. | 1940-01-01 | Paper |
| Elimination of extra-logical postulates | 1940-01-01 | Paper |
| Completeness of the prepositional calculus. | 1938-01-01 | Paper |
| On the theory of types. | 1938-01-01 | Paper |
| Completeness of the propositional calculus | 1938-01-01 | Paper |
| On the theory of types | 1938-01-01 | Paper |
| New foundations for mathematical logic. | 1937-01-01 | Paper |
| Logic based on inclusion and abstraction. | 1937-01-01 | Paper |
| On derivability. | 1937-01-01 | Paper |
| On Cantor's theorem. | 1937-01-01 | Paper |
| New Foundations for Mathematical Logic | 1937-01-01 | Paper |
| Logic based on inclusion and abstraction | 1937-01-01 | Paper |
| On derivability | 1937-01-01 | Paper |
| On Cantor's theorem | 1937-01-01 | Paper |
| Toward a calculus of concepts. | 1936-01-01 | Paper |
| Concepts of negative degree. | 1936-01-01 | Paper |
| A theory of classes presupposing no canons of type. | 1936-01-01 | Paper |
| A reinterpretation of Schönfinkel's logical operators. | 1936-01-01 | Paper |
| Definition of substitution. | 1936-01-01 | Paper |
| Set-theoretic foundations for logic. | 1936-01-01 | Paper |
| On the axiom of reducibility. | 1936-01-01 | Paper |
| A Theory of Classes Presupposing no Canons of Type | 1936-01-01 | Paper |
| Concepts of Negative Degree | 1936-01-01 | Paper |
| A reinterpretation of Schönfinkel’s logical operators | 1936-01-01 | Paper |
| Toward a calculus of concepts | 1936-01-01 | Paper |
| Definition of substitution | 1936-01-01 | Paper |
| Set-theoretic foundations for logic | 1936-01-01 | Paper |
| A unified calculus of propositions, classes, and relations. (Abstract) | 1935-01-01 | Paper |
| A system of logistic. | 1934-01-01 | Paper |
| Ontological remarks on the propositional calculus. | 1934-01-01 | Paper |
| A method of generating part of arithmetic without use of intuitive logic. | 1934-01-01 | Paper |
| ONTOLOGICAL REMARKS ON THE PROPOSITIONAL CALCULUS | 1934-01-01 | Paper |
| A method of generating part of arithmetic without use of intuitive logic | 1934-01-01 | Paper |
| A theorem in the calculus of classes. | 1933-01-01 | Paper |
| A Theorem in the Calculus of Classes | 1933-01-01 | Paper |
| A note on Nicod's postulate. | 1932-01-01 | Paper |
