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 19, Issue 2
Publication Date: June, 1954
Miscellaneous front pages, J. Symbolic Logic, Volume 19, Issue 2 (1954)
Reviews
Review: Heinrich Scholz, Vorlesungen uber Grundzuge der Mathematischen Logik. Vol. 1; Heinrich Scholz, Vorlesungen uber Grundzuge der Mathematischen Logik. Vol. 2
Hartley Rogers; 115-118
Review: Andrzej Mostowski, An Undecidable Arithmetical Statement
Martin Davis; 118-119
Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel
G. Hasenjaeger; 119-121
Review: H. G. Rice, Classes of Recursively Enumerable Sets and their Decision Problems
Rozsa Peter; 121-122
Review: Ilona Bereczki, Losung eines Markovschen Problems Betreffs einer Ausdehnung des Begriffes der Elementaren Funktion
Paul Axt; 122
Review: J. C. E. Dekker, The Constructivity of Maximal Dual Ideals in Certain Boolean Algebras
Hugo Ribeiro; 122-123
Review: P. S. Novikov, On the Consistency of some Theorems of the Descriptive Theory of Sets
Andrzej Mostowski; 123-125
Review: L. E. J. Brouwer, Historical Background, Principles and Methods of Intuitionism
Alfons Borgers; 125
Review: Ernst P. Specker, The Axiom of choice in Quine's New Foundations for Mathematical Logic
J. Barkley Rosser; 127-128
Review: W. V. Quine, On $\omega$-Consistency and a so-Called Axiom of Infinity
Steven Orey; 128-129
Review: Leon Henkin, On the Primitive Symbols of Quine's "Mathematical Logic."
Steven Orey; 129
Review: Jean Ladriere, Le Role du Theoreme de Godel dans le Developpement de la Theorie de la Demonstration; Jean Ladriere, Rationnel et Irrationnel en Mathematique; Jean Ladriere, Le Theoreme Fondamental de Gentzen
F. H. Fischer; 129-130
Review: Gotthard Gunther, Die Philosophische Idee einer Nicht-Aristotelischen Logik; Gotthard Gunther, The Logical Parallax
A. R. Turquette; 131
Review: Gerhard Frey, Bemerkungen zum Problem der Mehrwertigen Logiken
A. R. Turquette; 131-132
Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit
Wilhelm Ackermann; 132
Review: S. Issmann, Une Methode de Decision pour Certaines Formules du Calcul des Predicats
Wilhelm Ackermann; 132-133
Review: Heinrich Sauer, Uber die Logischen Forschungen von Leibniz
Nicholas Rescher; 133
Review: G. H. von Wright, On the Logic of some Axiological and Epistemological Concepts
Alan Ross Anderson; 133-134
Review: Willard Van Orman Quine, Logic and the Reification of Universals
John G. Kemeny; 135-136
Review: Willard Van Orman Quine, Meaning and Existential Inference
John G. Kemeny; 138
Review: David Shwayder, Some Remarks on "Synonymity" and the Language of the Semanticists
Alonzo Church; 139
Review: Erik Gotlind, A Note on Chwistek and Hetper's Foundation of Formal Metamathematics
Alonzo Church; 140
Review: Claude E. Shannon, Edward F. Moore, Machine Aid for Switching Circuit Design
Alonzo Church; 141
Review: Arthur W. Burks, Jesse B. Wright, Theory of Logical Nets
Alonzo Church; 141-142
Review: Robert Serrell, Elements of Boolean Algebra for the Study of Information-Handling Systems
Alonzo Church; 142
Review: John D. Goodell, Notes on Decision Element Systems using Various Practical Techniques
Alonzo Church; 143
Review: Carew A. Meredith, Single Axioms for the Systems $(C, N), (C, 0)$ and $(A, N)$ of the Two- Valued Propositional Calculus
Alonzo Church; 143-144
Review: Alan Rose, A Formalization of Sobocinski's Three-Valued Implicational Propositional Calculus
Gene F. Rose; 144
Review: F. H. George, Logical Constructs and Psychological Theory
Frederic B. Fitch; 145
Review: Louis O. Kattsoff, Facts, Phenomena, and Frames of Reference in Psychology
Frederic B. Fitch; 145
Review: Jack L. Maatsch, Richard A. Behan, A More Rigorous Theoretical Language
Frederic B. Fitch; 145
Review: F. H. George, Formalization of Language Systems for Behavior Theory
Frederic B. Fitch; 145
Review: Haskell B. Curry, Robert Feys, Lecons de Logique Algebrique
Hugo Ribeiro; 146-147
Review: Hiromiti Takeda, Keigo Abe, Introduction to Logic. Logic and Logistic
Takeo Sugihara; 148
Review: P. V. Tavanec, On the Question of Different Interpretations of the Subject Matter of Logic; P. V. Tavanec, On the Objective Content of the Laws of Formal Logic; M. Alekseev, V. Cerkesov, On the Question of Logic and the Study of Logic
George L. Kline; 149
Review: Alfonso Caracciolo di Forino, Sur la Construction du Language de la Physique
Patrick Suppes; 149-150
Review: Arne Naess, Philosophers and Research in the Soft Sciences
Patrick Suppes; 150
Miscellaneous back pages, J. Symbolic Logic, Volume 19, Issue 2 (1954)
