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 28, Issue 2
Publication Date: June, 1963
An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms
S. C. Kleene; 154-156
Reviews
Review: Marian Przelecki, Theoretical Concepts and Experience
Maria Kokoszynska; 164-165
Review: Francis C. Oglesby, An Examination of a Decision Procedure; F. C. Oglesby, Report: An Examination of a Decision Procedure
Abraham Robinson; 165-166
Review: R. M. Friedberg, The Fine Structure of Degrees of Unsolvability of Recursively Enumerable Sets
Gerald E. Sacks; 166
Review: S. C. Kleene, Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms
T. Thacher Robinson; 166-167
Review: Michael O. Rabin, On Recursively Enumerable and Arithmetic Models of Set Theory
J. C. Shepherdson; 167-168
Review: S. Mrowka, Fundamenta mathemattcae; Bernhard Banaschewski, On Some Theorems Equivalent with the Axiom of Choice
Azriel Levy; 168
Review: Alice Ambrose, Morris Lazerowitz, Logic: The Theory of Formal Inference
Donald Kalish; 169-171
Review: Ettore Carruccio, Corso di Storia delle Matematiche. Matematica e Logica nella Storia e nel Pensiero Contemporaneo; Ettore Carruccio, Matematica e Logica nella Storia e nel Pensiero Contemporaneo
Alberto Pasquinelli; 171-172
Review: William S. Hatcher, La Notion D'Equivalence Entre Systemes Formels et une Generalisation Inductive du Systeme dit "New Foundations" de Quine
Steven Orey; 172-173
Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC
Kurt Schutte; 173
Review: Gr. C. Moisil, Rapport sur le Developpement dans La R.P.R. de la Theorie Algebrique des Mecanismes Automatiques
Edward F. Moore; 174
Review: Eric Foxley, The Determination of all Sheffer Functions in 3-Valued Logic, Using a Logical Computer
Atwell R. Turquette; 174
Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique
Leon Henkin; 174-175
