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 37, Issue 2
Publication Date: June, 1972
Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy
S. S. Wainer; 281-292
Which Number Theoretic Problems can be Solved in Recursive Progressions on $\Phi\frac{1}{1}$-Paths Through O?
G. Kreisel; 311-334
Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications
Dov M. Gabbay; 375-384
Reviews
Review: Richard T. Cox, Probability, Frequency and Reasonable Expectation; Richard T. Cox, The Algebra of Probable Inference
David Miller; 398-399
Review: R. Engelking, K. Kuratowski, Quelques Theoremes de L'algebre de Boole et Leurs applications topologiques
Perry Smith; 399-400
Review: J. Donald Monk, Nontrivial $m$-Injective Boolean Algebras do not Exist
Adil Yaqub; 400
Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes
Leszek Pacholski; 401-402
Review: S. R. Kogalovskij, Universal Classes of Models; Tadashi Ohkuma, Ultrapowers in Categories
Anne Preller; 402
Review: Frederic B. Fitch, Quasi-Constructive Foundations for Mathematics
Bruce Lercher; 402
Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation
A. S. Troelstra; 404
Review: Gottlob Frege, A Source Book in Mathematical Logic 1879-1931
Alonzo Church; 405
Review: Gert H. Muller, Nicht-Standardmodelle der Zahlentheorie
Abraham Robinson; 405-406
Review: Robert A. DiPaola, Pseudo-Complements and ordinnal Logics based on consistency statements; Robert A. DiPaola, Some properties of pseudo-complements of recursively enumerable sets
J. R. Shoenfield; 406
Review: J. C. E. Dekker, Les Fonctions combinatoires et les Isols
Alfred B. Manaster; 406
Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence
Alfred B. Manaster; 406-407
Review: Louise Hay, Elementary Differences Between the Isols and the co-simple isols
M. Hassett; 408
Review: E. A. Polakov, Algebras of recursive functions); E. A. Polakov, On some properties of algebras of recursive functions
Elliott Mendelson; 408-409
Review: M. A. Aizerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata
Joseph S. Ullian; 410-411
Review: Paul W. Abrahams, Machine Verification of Mathematical Proof
John McCarthy; 411-412
Review: Gr. C. Moisil, Contribution a L'Etude Algebrique des Mecanismes Automatiques; Gr. C. Moisil, Gh. Ioanin, Sur le Fonctionnement des Schemas a Boutons Reels; G. C. Moisil, Theorie Algebrique du Fonctionnement des Schemas a Relais a Contacts Echelonnes
Emil Grosswald; 414-416
Review: Kimio Ibuki, Kenzi Naemura, Akihiro Nozaki, General Theory of Complete Sets of Logical Functions
William Wernick; 416-417
Review: V. Kudielka, P. Oliva, Complete Sets of Functions of Two and Three Binary Variables
William Wernick; 417
Review: Bishwambhar Pahi, Ralph C. Applebee, An Unsolvable Problem Concerning Implicational Calculi
M. D. Gladstone; 417
Review: M. J. Cresswell, The Interpretation of Some Lewis Systems of Modal Logic
Terence Parsons; 417-418
Review: Jaakko Hintikka, An Aristotelian Dilemma; Nicholas Rescher, Aristotle's Theory of Modal Syllogisms and Its Interpretation; Storrs McCall, Aristotle's Modal Syllogisms
Ivo Thomas; 418-419
Review: Nuel D. Belnap, An Analysis of Questions: Preliminray Report
David Harrah; 420-421
Review: A. N. Prior, The Autonomy of Ethics; J. M. Shorter, Professor Prior on the Autonomy of Ethics
B. J. Diggs; 421-422
Review: M. J. O'Carroll, Improper Self-Reference in Classical Logic and the Prediction Paradox; M. J. O'Carroll, A Three-Valued, Non-Levelled Logic Consistent for all Self-Reference
James Cargile; 422-423
Review: Rolf Schock, Contributions to Syntax, Semantics, and the Philosophy of Science
Theodore Hailperin; 423
Review: H. Leblanc, R. H. Thomason, Completeness Theorems for Some Presupposition-Free Logics
Theodore Hailperin; 424-425
Meeting of the Association for Symbolic Logic
Charles D. Parsons, Richard J. Orgass and Richmond H. Thomason; 430-447
