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 4
Publication Date: December, 1964
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 29, Issue 4 (1964)
Reviews
Review: Harry V. Stopes-Roe, Some Considerations Concerning "Interpretative Systems."
Maria Kokoszynska; 195-197
Review: Heinrich Scholz, Die Mathematische Logik und die Geisteswissenschaften
H. Hermes; 197
Review: Satosi Watanabe, A Model of Mind-Body Relation in Terms of Modular Logic
E. J. Lemmon; 197-198
Review: Frederic B. Fitch, The System $C\Delta$ of Combinatory Logic
Bruce Lercher; 198-199
Review: Gunter Asser, H. A. Pogorzelski, Vladeta Vuckovic, Rekursive Wortfunktionen
H. Hermes; 199-201
Review: Gerald E. Sacks, On Suborderings of Degrees of Recursive Unsolvability
Gustav B. Hensel; 203
Review: J. R. Shoenfield, On Degrees of Unsolvability; J. R. Shoenfield, An Uncountable Set of Incomparable Degrees
Gerald E. Sacks; 203-204
Review: Gerald E. Sacks, Recursive Enumerability and the Jump Operator
Donald L. Kreider; 204
Review: J. L. Britton, The Word Problem for Groups; John L. Britton, The Word Problem
Michael O. Rabin; 205-206
Review: Leon Le Blanc, Comptes rendus hebdomadaires des seances de l'Academie des sciences
Donald Monk; 207
Review: Ettore Carruccio, Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttivi
Alan Cobham; 208
Review: Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh, Retracing Elementary Mathematics
Theodore Hailperin; 209
Review: A. W. Burks, J. B. Wright, Sequence Generators and Digital Computers; Arthur W. Burks, Jesse B. Wright, Sequence Generators, Graphs, and Formal Languages
Robert McNaughton; 210-212
Review: B. I. Finikov, On a Family of Classes of Functions in the Algebra of Logic and Their Realizations in the Class of II-Circuits
Andrzej Blikle; 212
Review: Storrs McCall, A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic
Gene F. Rose; 212
Review: Alan Rose, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik
Gene F. Rose; 213
Review: A. A. Zinov'ev, Philosophical Problems of Many-valued Logic
Atwell R. Turquette; 213-214
Review: S. V. Ablonskij, Functional Constructions in k-Valued Logic
Arto Salomaa; 214-216
Meeting of the Association for Symbolic Logic
J. C. Shepherdson, S. Korner and M. D. Gladstone; 218-228
Errata
