Selected Logic Papers

Whitehead and the Rise of Modern Logic (1941) Logic, Symbolic (1954) A Method of Generating Part of Arithmetic Without Use of Intuitive Logic (1934) Definition of Substitution (1936) Concatenation as a Basis for Arithmetic (1946) Set-theoretic Foundations for Logic (1936) Logic Based on Inclusion and Abstraction (1937) On Ordered Pairs and Relations (1945-46) On w-Inconsistency and a So-called Axiom of Infinity (1952) Element and Number (1941) On an Application of Tarski's Theory of Truth (1952) On Frege's Way Out (1954) Completeness of the Propositional Calculus (1937) On Cores and Prime Implicants of Truth Functions (1958) Two Theorems about Truth Functions (1951) On Boolean Functions (1949) On the Logic of Quantification (1945) A Proof Procedure for Quantification Theory (1954) Interpretations of Sets of Conditions (1953) Church's Theorem on the Decision Problem (1954) Quantification and the Empty Domain (1953) Reduction to a Dyadic Predicate (1953) Variables Explained Away (1960) Truth, Paradox, and Godel's Theorem (1992) Immanence and Validity (1991) MacHale on Boole (1985) Peirce's Logic (1989) Peano as Logician (1982) Free Logic, Description, and Virtual Classes (1994) The Inception of "New Foundations" (1987) Pythagorean Triples and Fermat's Last Theorem (1992).