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 23, Issue 3
Publication Date: September, 1958
Miscellaneous front pages, J. Symbolic Logic, Volume 23, Issue 3 (1958)
Finite Axiomatizability Using Additional Predicates
W. Craig and R. L. Vaught; 289-308
Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication
Richard M. Friedberg; 309-316
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae
G. Kreisel; 317-330
Reviews
Review: Ruth C. Barcan, The Identity of Individuals in a Strict Functional Calculus of Second Order
W. V. Quine; 342
Review: Wilhelm Ackermann, Philosophical Observations on Mathematical Logic and on Investigations into the Foundations of Mathematics
John Van Heijenoort; 342-343
Review: Robert Feys, Une Theorie Formalisee Demontree sans Symboles
Alonzo Church; 344
Review: R. Harrop, On Disjunctions and Existential Statements in Intuitionistic Systems of Logic
T. Thacher Robinson; 345-346
Review: Ingebrigt Johansson, Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes; R. Feys, Ingebright Johansson, Discussion: Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes
Theodore Hailperin; 346
Review: Alan Ross Anderson, Independent Axiom Schemata for von Wright's M
Naoto Yonemitsu; 346
Review: E. J. Lemmon, New Foundations for Lewis Modal Systems
Naoto Yonemitsu; 346-347
Review: Tadeusz Kubinski, On a Method of Constructing Modal Logics
Tadeusz Czezowski; 348-349
Review: Karl R. Popper, Two Autonomous Axiom Systems for the Calculus of Probabilities
John G. Kemeny; 349
Review: B. Dunham, The Formalization of Scientific Languages. Part I. The Work of Woodger and Hull
George L. Alexander; 352
Review: Carl G. Hempel, Fundamentals of Concept Formation in Empirical Science
Edward Poznanski; 353-354
Review: Thomas Storer, An Analysis of Logical Positivism; Ferruccio Rossi-Landi, Discussion: An Analysis of Logical Positivism
Henry Mehlberg; 356-357
Review: Jan Berg, A Note on Dispositional Concepts; Jan Berg, A Note on Reduction Sentences
Carl G. Hempel; 357
Review: Evert Willem Beth, La Semantique et sa Portee Philosophique
K. Jaakko J. Hintikka; 357-358
Review: Roger Martin, Raisonnement Mathematique et Recurrence
John Van Heijenoort; 358-359
Review: John G. Kemeny, Undecidable Problems of Elementary Number Theory
Th. Skolem; 359-360
Review: J. Los, On the Categoricity in Power of Elementary Deductive Systems and some Related Problems
Robert L. Vaught; 360-361
Review: Maurice L'Abbe, Systems of Transfinite Types Involving $\lambda$-Conversion
R. O. Gandy; 361-362
Review: Montgomery Phister, Logical Design of Digital Computers
Edward F. Moore; 363-365
Review: M. Touchais, Les Applications Techniques de la Logique
Raymond J. Nelson; 365-366
Review: James T. Culbertson, Mathematics and Logic for Digital Devices
E. J. McCluskey; 366
Review: Hans Rohleder, Der Dreiwertige Aussagenkalkul der Theoretischen Logik und Seine Anwendung zur Beschreibung von Schaltungen, die aus Elementen mit zwei Stabilen Zustanden Bestehen
Jerzy Fiett; 366-367
Review: M. A. Gavrilov, Methods of Synthesis of Relay-Contact Networks
Zdzislaw Pawlak; 367
Review: M. A. Gavrilov, Relay Networks with Rectifiers; D. R. Brown, N. Rochester, Rectifier Network for Multiposition Switching
Zdzislaw Pawlak; 367
