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

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

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

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

Last update Tue Feb 14 03:37:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page