The Journal of Symbolic Logic, Volume 2

Volume 2, Number 1, March 1937

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

Volume 2, Number 2, June 1937

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

Volume 2, Number 3, September 1937

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

Volume 2, Number 4, December 1937

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