The Journal of Symbolic Logic, Volume 19

Volume 19, Number 1, March 1954

• Nicholas Rescher: Leibniz's Interpretation of His Logical Calculi. 1-13 BibTeX
• Theodore Hailperin: Remarks on Identity and Description in First-Order Axiom Systems. 14-20 BibTeX
• Joseph R. Shoenfield: A Relative Consistency Proof. 21-28 BibTeX
• Frederic Brenton Fitch: A Definition of Negation in Extended Basic Logic. 29-36 BibTeX
• Moh Shaw-Kwei: Logical Paradoxes for Many-Valued Systems. 37-40 BibTeX
• N. J. Fine: Proof of a Conjecture of Goodman. 41-44 BibTeX
• Norman M. Martin: The Sheffer Functions of 3-Valued Logic. 45-51 BibTeX

Volume 19, Number 2, June 1954

• Paul Bernays: A System of Axiomatic Set Theory--Part VII. 81-96 BibTeX
• W. V. Quine: Interpretations of Sets of Conditions. 97-102 BibTeX
• Abraham Robinson: On Predicates in Algebraically Closed Fields. 103-114 BibTeX

Volume 19, Number 3, September 1954

• William Tuthill Parry: A New Symbolism for the Propositional Calculus. 161-168 BibTeX
• Gerald B. Standley: Ideographic Computation in the Propositional Calculus. 169-171 BibTeX
• Jan Kalicki: An Undecidable Problem in the Algebra of Truth-Tables. 172-176 BibTeX
• W. V. Quine: Quantification and the Empty Domain. 177-179 BibTeX
• W. V. Quine: Reduction to a Dyadic Predicate. 180-182 BibTeX
• Leon Henkin: A Generalization of the Concept of |omega-Consistency. 183-196 BibTeX
• Vaclav Edvard Benes: A Partial Model for Quine's "New Foundations". 197-200 BibTeX
• Alan Ross Anderson: Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M. 201-214 BibTeX

Volume 19, Number 4, December 1954

• Hao Wang: The Formalization of Mathematics. 241-266 BibTeX
• R. L. Goodstein: The Recursive Irrationality of |pi. 267-274 BibTeX
• George E. Collins: Distributivity and An Axiom of Choice. 275-277 BibTeX