The Journal of Symbolic Logic, Volume 17

Volume 17, Number 1, March 1952

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

Volume 17, Number 2, June 1952

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

Volume 17, Number 3, September 1952

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

Volume 17, Number 4, December 1952

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