The Journal of Symbolic Logic, Volume 7

Volume 7, Number 1, March 1942

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

Volume 7, Number 2, June 1942

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

Volume 7, Number 3, September 1942

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

Volume 7, Number 4, December 1942

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