The Journal of Symbolic Logic, Volume 19

Volume 19, Number 1, March 1954

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

Volume 19, Number 2, June 1954

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

Volume 19, Number 3, September 1954

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

Volume 19, Number 4, December 1954

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