The Journal of Symbolic Logic, Volume 15

Volume 15, Number 1, March 1950

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

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

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

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