The Journal of Symbolic Logic, Volume 2

Volume 2, Number 1, March 1937

• A. Fraenkel: Über eine abgeschwächte Fassung des Auswahlaxioms. 1-25 BibTeX
• Haskell B. Curry: On the Use of Dots as Brackets in Logical Expressions. 26-28 BibTeX
• Raphael M. Robinson: The Theory of Classes a Modification of Von Neumann's System. 29-36 BibTeX
• Susanne K. Langer: Second Meeting of the Association for Symbolic Logic. 63-64 BibTeX
• Paul Bernays: A System of Axiomatic Set Theory - Part I. 65-77 BibTeX

Volume 2, Number 2, June 1937

• Arnold F. Emch: Deducibility with Respect to Necessary and Impossible Propositions. 78-81 BibTeX

Volume 2, Number 3, September 1937

• Carl G. Hempel: A Purely Topological Form of Non-Aristotelian Logic. 97-112 BibTeX
• W. V. Quine: On Derivability. 113-119 BibTeX
• W. V. Quine: On Cantor's Theorem. 120-124 BibTeX
• Frederic Brenton Fitch: Modal Functions in Two-Valued Logic. 125-128 BibTeX
• J. Barkley Rosser: Godel Theorems for Non-Constructive Logics. 129-137 BibTeX

Volume 2, Number 4, December 1937

• W. V. Quine: Logic based on Inclusion and Abstraction. 145-152 BibTeX
• Alan M. Turing: Computability and lambda-Definability. 153-163 BibTeX
• Alan M. Turing: The Ø-Function in lambda-K-Conversion. 164 BibTeX
• B. A. Bernstein: Remark on Nicod's Reduction of Principia Mathematica. 165-166 BibTeX