The Journal of Symbolic Logic, Volume 7

Volume 7, Number 1, March 1942

• J. Barkley Rosser: The Burali-Forti Paradox. 1-17 BibTeX
• J. Barkley Rosser: New Sets of Postulates for Combinatory Logics. 18-27 BibTeX
• M. H. A. Newman, Alan M. Turing: A Formal Theorem in Church's Theory of Types. 28-33 BibTeX
• Daniel J. Bronstein: A Correction to the Sentential Calculus of Tarski's Introduction to Logic. 34 BibTeX
• J. C. C. McKinsey: Seventh Meeting of the Association for Symbolic Logic. 47-48 BibTeX

Volume 7, Number 2, June 1942

• Haskell B. Curry: The Combinatory Foundations of Mathematical Logic. 49-64 BibTeX
• Paul Bernays: A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis. 65-89 BibTeX

Volume 7, Number 3, September 1942

• Frederic Brenton Fitch: A Basic Logic. 105-114 BibTeX
• Haskell B. Curry: The Inconsistency of Certain Formal Logic. 115-117 BibTeX

Volume 7, Number 4, December 1942

• Paul Bernays: A System of Axiomatic Set Theory: Part IV. General Set Theory. 133-145 BibTeX
• Alan M. Turing: The Use of Dots as Brackets in Church's System. 146-156 BibTeX
• W. V. Quine: On Existence Conditions for Elements and Classes. 157-159 BibTeX
• Edmund C. Berkeley: Conditions Affecting the Application of Symbolic Logic. 160-168 BibTeX