The Journal of Symbolic Logic, Volume 17

Volume 17, Number 1, March 1952

• Andrzej Mostowski: On Direct Products of Theories. 1-31 BibTeX
• Alan Rose: An Extension of Computational Logic. 32-34 BibTeX
• Haskell B. Curry: The System LD. 35-42 BibTeX
• G. Kreisel: On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications. 43-58 BibTeX

Volume 17, Number 2, June 1952

• G. Hasenjaeger: Uber omega;-Unvollstandigkeit in der Peano-Arithmetik. 81-97 BibTeX
• Haskell B. Curry: On the Definition of Negation by a Fixed Proposition in Inferential Calculus. 98-104 BibTeX
• Hao Wang: Logic of Many-Sorted Theories. 105-116 BibTeX
• James Willard Oliver: Fourteenth Meeting of the Association for Symbolic Logic. 156-159 BibTeX
• Heinrich Scholz, G. Kreisel, Leon Henkin: Problems. 160 BibTeX

Volume 17, Number 3, September 1952

• Jan Kalicki: A Test for the Equality of Truth-Tables. 161-163 BibTeX
• John R. Myhill: A Finitary Metalanguage for Extended Basic Logic. 164-178 BibTeX
• Alonzo Church, W. V. Quine: Some Theorems on Definability and Decidability. 179-187 BibTeX
• William Craig, W. V. Quine: On Reduction to a Symmetric Relation. 188 BibTeX
• Nelson Goodman: New Notes on Simplicity. 189-191 BibTeX
• John R. Myhill: A Derivation of Number Theory from Ancestral Theory. 192-197 BibTeX

Volume 17, Number 4, December 1952

• John C. Shepherdson: Inner Models for Set Theory--Part II. 225-237 BibTeX
• J. Barkley Rosser: The Axiom of Infinity in Quine's New Foundations. 238-242 BibTeX
• Moh Shaw-Kwei: A Note on the Theory of Quantification. 243-244 BibTeX
• Haskell B. Curry: The Permutability of Rules in the Classical Inferential Calculus. 245-248 BibTeX
• Haskell B. Curry: The Elimination Theorem When Modality is Present. 249-265 BibTeX