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).