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 31, Issue 3
Publication Date: September, 1966
Miscellaneous front pages, J. Symbolic Logic, Volume 31, Issue 3 (1966)
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis
W. A. Howard and G. Kreisel; 325-358
Pseudo-Complements and Ordinal Logics based on Consistency Statements
Robert A. Di Paola; 359-364
On Definability of Ordinals in Logic with Infinitely Long Expressions
Akiko Kino; 365-375
The Impossibility of finding Relative Complements for Recursively Enumerable Degrees
A. H. Lachlan; 434-454
On Formalizing the Distinction between Logical and Factual Truth
William H. Hanson; 460-477
Reviews
Review: Martin Davis, The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions
Stefan Bauer-Mengelberg; 484-494
Review: Herbert Meschkowski, Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme der Mathematik
J. Brown; 494
Review: David Greenwood, Quantitative Inductive Procedures; David Greenwood, Causality and the Counterfactual Conditional; David Greenwood, The Problem of Real Numbers
Edward E. Dawson; 494-496
Review: Wolfgang Stegmuller, Das Wahrheitsproblem und die Idee der Semantik. Eine Einfuhrung in die Theorien von A. Tarski und R. Carnap
R. M. Martin; 496
Review: W. V. Quine, Logic as a Source of Syntactical Insights
Ann M. Singleterry; 496-497
Review: N. L. Wilson, The Indestructibility and Immutability of Substances
Y. Bar-Hillel; 497-498
Review: Boleslaw Sobocinski, A Contribution to the Axiomatization of Lewis' System $S_5$; Ivo Thomas, Ten Modal Models
Nuel D. Belnap; 498-500
Review: Federico M. Sioson, Further Axiomatizations of the Lukasiewicz Three-Valued Calculus
Atwell R. Turquette; 500-501
Review: Waclaw Sadowski, A Proof of Axiomatizability of Certain $n$-Valued Sentential Calculi
V. G. Kirin; 501
Review: A. Grzegorczyk, A Note on the Theory of Propositional Types
Peter Andrews; 502-503
Review: M. R. Krom, Separation Principles in the Hierarchy Theory of Pure First-Order Logic
D. A. Clarke; 503-504
Review: Lars Svenonius, $\aleph_0$-Categoricity in First-Order Predicate Calculus
G. Fuhrken; 504
Review: C. Ryll-Nardzewski, On the Categoricity in Power $\leqslant \aleph_0$
G. Fuhrken; 505
Review: T. Frayne, A. C. Morel, D. S. Scott, Reduced Direct Products
Arnold Oberschelp; 506-507
Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken
Vladeta Vuckovic; 509
Review: W. W. Tait, Functionals Defined by Transfinite Recursion
R. E. Vesley; 509-510
Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions
J. C. E. Dekker; 510-511
Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings
Ann M. Singleterry; 511-512
Review: Hartley Rogers, The Present Theory of Turing Machine Computability
C. E. M. Yates; 513
Review: Z. A. Melzak, An Informal Arithmetical Approach to Computability and Computation; Joachim Lambek, How to Program an Infinite Abacus
Ann M. Singleterry; 514
Review: H. Gelernter, A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine
Y. Bar-Hillel; 514
Review: J. A. Robinson, A Machine-Oriented Logic based on the Resolution Principle
David Luckham; 515-516
Review: Laszlo Kalmar, A New Principle of Construction of Logical Machines
Ann M. Singleterry; 516
Review: A. A. Lapunov, Mathematical Investigations Connected with the Operation of Electronic Computing Machines
Ann M. Singletery; 516
Review: , Mathematics in the USSR during the Forty Years 1917-1957. Vol. 2. Biobibliography
Ann M. Singleterry; 516-517
Review: A. Mostowski, Roczniki Polskiego Towarzystwa Matematycznego
Alonzo Church; 517
