The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 15, Issue 4
Publication Date: December, 1950
Uber Eine Art Von Unvollstandigkeit des Pradikaten-Kalkuls der Ersten Stufe
Gisbert Hasenjaeger; 273-276
Reviews
Review: G. H. v. Wright, On the Idea of Logical Truth (I); G. H. von Wright, Form and Content in Logic
Alonzo Church; 280
Review: Henryk Mehlberg, On the Unverifiable Assumptions of Science
Boleslaw Sobocinski; 280
Review: Maria Kokoszynska, On a Certain Condition for a Semantical Theory of Knowledge
Boleslaw Sobocinski; 281
Review: Yehoshua Bar-Hillel, The Present State of the Problem of the Antinomies. The Semantical Antinomies
B. Germansky; 282
Review: Baruch Germansky, Supplement to my Paper "Axioms of the Natural Numbers"
Alonzo Church; 282
Review: Baruch Germansky, A New Set of Axioms Sufficient for the Development of the Theory of Natural Numbers
Alonzo Church; 282
Review: Baruch Germansky, An Alternative Proof of a Theorem of Equivalence Concerning Axioms of Natural Numbers
Alonzo Church; 282
Review: J. Richard Buchi, Die Boole'sche Partialordnung und die Paarung von Gefuegen
Wilhelm Ackermann; 283
