| Publication | Date of Publication | Type |
|---|
The significance of the new logic. Translated from the Portuguese and edited by Walter Cornielli, Frederique Janssen-Lauret and William Pickering
| 2019-07-03 | Paper |
scientific article; zbMATH DE number 5021953 (Why is no real title available?)
| 2006-05-08 | Paper |
scientific article; zbMATH DE number 2048518 (Why is no real title available?)
| 2004-03-01 | Paper |
Mission to Brazil
Logique et Analyse. Nouvelle Série | 2002-02-26 | Paper |
scientific article; zbMATH DE number 1329018 (Why is no real title available?)
| 2000-04-24 | Paper |
Free Logic, Description, and Virtual Classes
Dialogue | 1999-06-22 | Paper |
scientific article; zbMATH DE number 1232462 (Why is no real title available?)
| 1998-12-14 | Paper |
scientific article; zbMATH DE number 1095145 (Why is no real title available?)
| 1997-12-07 | Paper |
scientific article; zbMATH DE number 597891 (Why is no real title available?)
| 1995-01-22 | Paper |
scientific article; zbMATH DE number 69307 (Why is no real title available?)
| 1992-10-26 | Paper |
scientific article; zbMATH DE number 49322 (Why is no real title available?)
| 1992-09-17 | Paper |
scientific article; zbMATH DE number 49563 (Why is no real title available?)
| 1992-09-17 | Paper |
Elementary Proof That Some Angles Cannot Be Trisected by Ruler and Compass
| 1990-01-01 | Paper |
Peano as logician
History and Philosophy of Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3926869 (Why is no real title available?)
| 1981-01-01 | Paper |
Predicate functors revisited
Journal of Symbolic Logic | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3483991 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3547251 (Why is no real title available?)
| 1975-01-01 | Paper |
Comment on Donald Davidson
Synthese | 1974-01-01 | Paper |
Comment on Michael Dummett
Synthese | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3503179 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3483990 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3420700 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3351504 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3307531 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3309177 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3304895 (Why is no real title available?)
| 1966-01-01 | Paper |
On ordinals
Bulletin of the American Mathematical Society | 1964-01-01 | Paper |
scientific article; zbMATH DE number 3225054 (Why is no real title available?)
| 1964-01-01 | Paper |
On ordinals
Bulletin of the American Mathematical Society | 1964-01-01 | Paper |
scientific article; zbMATH DE number 3198017 (Why is no real title available?)
| 1963-01-01 | Paper |
scientific article; zbMATH DE number 3196240 (Why is no real title available?)
| 1962-01-01 | Paper |
Reply to Professor Marcus
Synthese | 1961-01-01 | Paper |
A basis for number theory in finite classes
Bulletin of the American Mathematical Society | 1961-01-01 | Paper |
scientific article; zbMATH DE number 3151566 (Why is no real title available?)
| 1960-01-01 | Paper |
Carnap and logical truth
Synthese | 1960-01-01 | Paper |
On Cores and Prime Implicants of Truth Functions
The American Mathematical Monthly | 1959-01-01 | Paper |
Unification of universes in set theory
Journal of Symbolic Logic | 1956-01-01 | Paper |
On formulas with valid cases
Journal of Symbolic Logic | 1956-01-01 | Paper |
A Way to Simplify Truth Functions
| 1955-01-01 | Paper |
I.—ON FREGE'S WAY OUT
Mind | 1955-01-01 | Paper |
A proof procedure for quantification theory
Journal of Symbolic Logic | 1955-01-01 | Paper |
Reduction to a dyadic predicate
Journal of Symbolic Logic | 1954-01-01 | Paper |
Quantification and the empty domain
Journal of Symbolic Logic | 1954-01-01 | Paper |
Interpretations of sets of conditions
Journal of Symbolic Logic | 1954-01-01 | Paper |
scientific article; zbMATH DE number 3085798 (Why is no real title available?)
| 1953-01-01 | Paper |
scientific article; zbMATH DE number 3078474 (Why is no real title available?)
| 1953-01-01 | Paper |
On ω-inconsistency and a so-called axiom of infinity
Journal of Symbolic Logic | 1953-01-01 | Paper |
scientific article; zbMATH DE number 3085175 (Why is no real title available?)
| 1953-01-01 | Paper |
The Problem of Simplifying Truth Functions
| 1952-01-01 | Paper |
On an Application of Tarski's Theory of Truth
Proceedings of the National Academy of Sciences | 1952-01-01 | Paper |
Some theorems on definability and decidability
Journal of Symbolic Logic | 1952-01-01 | Paper |
On the Consistency of “New Foundations”
Proceedings of the National Academy of Sciences | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3086352 (Why is no real title available?)
| 1951-01-01 | Paper |
scientific article; zbMATH DE number 3068529 (Why is no real title available?)
| 1951-01-01 | Paper |
A simplifiction of games in extensive form
Duke Mathematical Journal | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3057869 (Why is no real title available?)
| 1950-01-01 | Paper |
On natural deduction
Journal of Symbolic Logic | 1950-01-01 | Paper |
scientific article; zbMATH DE number 3062116 (Why is no real title available?)
| 1948-01-01 | Paper |
The problem of interpreting modal logic
Journal of Symbolic Logic | 1947-01-01 | Paper |
On Universals
Journal of Symbolic Logic | 1947-01-01 | Paper |
Steps toward a constructive nominalism
Journal of Symbolic Logic | 1947-01-01 | Paper |
scientific article; zbMATH DE number 3049488 (Why is no real title available?)
| 1947-01-01 | Paper |
Concatenation as a basis for arithmetic
Journal of Symbolic Logic | 1946-01-01 | Paper |
On relations as coextensive with classes
Journal of Symbolic Logic | 1946-01-01 | Paper |
On ordered pairs
Journal of Symbolic Logic | 1945-01-01 | Paper |
On the logic of quantification
Journal of Symbolic Logic | 1945-01-01 | Paper |
scientific article; zbMATH DE number 3095458 (Why is no real title available?)
| 1944-01-01 | Paper |
On existence conditions for elements and classes
Journal of Symbolic Logic | 1942-01-01 | Paper |
scientific article; zbMATH DE number 3042483 (Why is no real title available?)
| 1941-01-01 | Paper |
Elementary logic.
| 1941-01-01 | Paper |
Element and number.
Journal of Symbolic Logic | 1941-01-01 | Paper |
Element and Number
Journal of Symbolic Logic | 1941-01-01 | Paper |
Mathematical logic.
| 1940-01-01 | Paper |
scientific article; zbMATH DE number 3106607 (Why is no real title available?)
| 1940-01-01 | Paper |
Elimination of extra-logical postulates.
Journal of Symbolic Logic | 1940-01-01 | Paper |
Elimination of extra-logical postulates
Journal of Symbolic Logic | 1940-01-01 | Paper |
Completeness of the propositional calculus
Journal of Symbolic Logic | 1938-01-01 | Paper |
Completeness of the prepositional calculus.
Journal of Symbolic Logic | 1938-01-01 | Paper |
On the theory of types.
Journal of Symbolic Logic | 1938-01-01 | Paper |
On the theory of types
Journal of Symbolic Logic | 1938-01-01 | Paper |
New Foundations for Mathematical Logic
| 1937-01-01 | Paper |
Logic based on inclusion and abstraction
Journal of Symbolic Logic | 1937-01-01 | Paper |
New foundations for mathematical logic.
American Mathematical Monthly | 1937-01-01 | Paper |
Logic based on inclusion and abstraction.
Journal of Symbolic Logic | 1937-01-01 | Paper |
On derivability.
Journal of Symbolic Logic | 1937-01-01 | Paper |
On Cantor's theorem.
Journal of Symbolic Logic | 1937-01-01 | Paper |
On derivability
Journal of Symbolic Logic | 1937-01-01 | Paper |
On Cantor's theorem
Journal of Symbolic Logic | 1937-01-01 | Paper |
Toward a calculus of concepts
Journal of Symbolic Logic | 1936-01-01 | Paper |
Set-theoretic foundations for logic
Journal of Symbolic Logic | 1936-01-01 | Paper |
Definition of substitution
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Toward a calculus of concepts.
Journal of Symbolic Logic | 1936-01-01 | Paper |
Concepts of negative degree.
Proceedings of the National Academy of Sciences of the United States of America | 1936-01-01 | Paper |
A theory of classes presupposing no canons of type.
Proceedings of the National Academy of Sciences of the United States of America | 1936-01-01 | Paper |
A reinterpretation of Schönfinkel's logical operators.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Definition of substitution.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Set-theoretic foundations for logic.
Journal of Symbolic Logic | 1936-01-01 | Paper |
On the axiom of reducibility.
Mind. New Series | 1936-01-01 | Paper |
A Theory of Classes Presupposing no Canons of Type
Proceedings of the National Academy of Sciences | 1936-01-01 | Paper |
Concepts of Negative Degree
Proceedings of the National Academy of Sciences | 1936-01-01 | Paper |
A reinterpretation of Schönfinkel’s logical operators
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
A unified calculus of propositions, classes, and relations. (Abstract)
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
A method of generating part of arithmetic without use of intuitive logic
Bulletin of the American Mathematical Society | 1934-01-01 | Paper |
ONTOLOGICAL REMARKS ON THE PROPOSITIONAL CALCULUS
Mind | 1934-01-01 | Paper |
A system of logistic.
| 1934-01-01 | Paper |
Ontological remarks on the propositional calculus.
Mind. New Series | 1934-01-01 | Paper |
A method of generating part of arithmetic without use of intuitive logic.
Bulletin of the American Mathematical Society | 1934-01-01 | Paper |
A theorem in the calculus of classes.
Journal of the London Mathematical Society | 1933-01-01 | Paper |
A Theorem in the Calculus of Classes
Journal of the London Mathematical Society | 1933-01-01 | Paper |
A note on Nicod's postulate.
Mind. New Series | 1932-01-01 | Paper |
