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 29, Issue 2
Publication Date: June, 1964
Miscellaneous front pages, J. Symbolic Logic, Volume 29, Issue 2 (1964)
Reviews
Review: Ivan Boh, A Study in Burleigh: Tractatus de Regulis Generalibus Consequentiarum
Ivo Thomas; 91-92
Review: John M. Anderson, Henry W. Johnstone, Natural Deduction. The Logical Basis of Axiom Systems
Donald Kalish; 93-94
Review: Ladislav Rieger, On Suslin-Algebras and their Representations
Andrzej Mostowski; 96-97
Review: N. E. Kobrinskij, B. A. Trahtenbrot, Introduction to the Theory of Finite Automata
Jiri Becvar; 97-98
Review: T. K. Berends, A. A. Tal, Pneumatic Switching Circuits
Andrzej Rowicki; 100-101
Review: Burton Dreben, A. S. Kahr, Hao Wang, Classification of AEA Formulas by Letter Atoms
F. C. Oglesby; 101
Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem
Frederic B. Fitch; 101
Review: S. C. Kleene, Lambda-Definable Functionals of Finite Types
J. Barkley Rosser; 104-105
Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers
Gert Heinz Muller; 107
Review: N. A. Sanin, Uber Konstruktive Lineare Funktionale in Einem Konstruktiven Hilbertschen Raum
Andrzej Mostowski; 107-108
Review: N. M. Nagornyj, On a Minimal Alphabet of Algorithms Over a Given Alphabet
E. M. Fels; 108
Review: E. S. Orlovskij, Some Questions in the Theory of Algorithms
E. M. Fels; 108-109
Review: N. N. Vorob'ev, A New Algorithm of Deducibility in the Constructive Propositional Calculus
E. M. Fels; 109
Review: Louise Schmir Hay, Axiomatization of the Infinite-Valued Predicate Calculus
A. Rose; 110-111
Review: Joan B. Ogden, Henry B. Veatch, Putting the Square Back into Opposition
Charles A. Baylis; 111
Review: Tadeusz Gierymski, Michael P. Slattery, Is the Square Back in Opposition?
Charles A. Baylis; 111-112
Review: T. Gierymski, M. P. Slattery, Existential Import and "Latin Averroism."
Charles A. Baylis; 112
Review: Tadeusz Gierymski, Michael P. Slattery, Metaphysics and the Null Class
Charles A. Baylis; 112-113