The Journal of Symbolic Logic, Volume 15

Volume 15, Number 1, March 1950

• Yehoshua Bar-Hillel: On Syntactical Categories. 1-16
• Frederic Brenton Fitch: A Demonstrably Consistent Mathematics - Part I. 17-24
• Hao Wang: A Formal System of Logic. 25-32
• Wilhelm Ackermann: Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur. 33-57
• Morton G. White: Twelfth Meeting of the Association for Symbolic Logic. 76-80

Volume 15, Number 2, June 1950

• Leon Henkin: Completeness in the Theory of Types. 81-91
• Ruth Barcan Marcus: The Elimination of Contextually Defined Predicates in a Modal System. 92
• W. V. Quine: On Natural Deduction. 93-102
• Hao Wang: Existence of Classes and Value Specification of Variables. 103-112
• J. Barkley Rosser, Hao Wang: Non-Standard Models for Formal Logics. 113-129
• John R. Myhill: A Reduction in the Number of Primitive Ideas of Arithmetic. 130
• R. M. Martin: On Virtual Classes and Real Numbers. 131-134

Volume 15, Number 3, September 1950

• Laszlo Kalmar, Janos Suranyi: On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate. 161-173
• Jan Kalicki: Note on Truth-Tables. 174-181
• Jan Kalicki: A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. 182-184
• John R. Myhill: A Complete Theory of Natural, Rational, and Real Numbers. 185-196
• Frank Harary: On Complete Atomic Proper Relation Algebras. 197-198

Volume 15, Number 4, December 1950

• Hao Wang: Set-Theoretical Basis for Real Numbers. 241-247
• Rozsa Peter: Zusammenhang der Mehrfachen und Transfiniten Rekursionen. 248-272
• Gisbert Hasenjaeger: Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe. 273-276
• Antoni Janiczak: A Remark Concerning Decidability of Complete Theories. 277-279