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 27, Issue 3
Publication Date: September, 1962
Early History of the Association for Symbolic Logic
C. J. Ducasse and Haskell B. Curry; 255-258
Reviews
Review: Paul Bernays, Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre
J. C. Shepherdson; 353-354
Review: A. Grzegorczyk, An Example of Two Weak Essentially Undecidable Theories F and F$^\ast$
Raphael M. Robinson; 358
Review: S. C. Kleene, Countable Functionals; S. C. Kleene, Recursive Functionals of Higher Finite Types
Donald L. Kreider; 359-360
Review: N. M. Nagornyj, Some Generalizations of the Concept of Normal Algorithm
E. M. Fels; 360-362
Review: V. K. Detlovs, The Equivalence of Normal Algorithms and Recursive Functions
E. M. Fels; 362
Review: L. A. Kaluznin, On Algorithmization of Mathematical Problems
E. M. Fels; 363-364
Review: N. V. Belakin, The Universality of a Computing Machine with Potentially Infinite Exterior Memory
E. M. Fels; 366
Review: Gyorgy Pollak, Bemerkung zur Arbeit "Uber Zweipolige Elektrische Netze, II." von A. Adam
A. Adam; 367
Review: Klaus Hartig, Zur Axiomatisierung der Nicht-Identitaten des Aussagenkalkuls
Gene F. Rose; 367
Review: Gr. C. Moisil, Sur les Ideaux des Algebres Lukasiewicziennes Trivalents
Gene F. Rose; 367-368
Review: Gr. C. Moisil, Sur la Logique a Trois Valeurs de Lukasiewicz
Gene F. Rose; 368
