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 35, Issue 4
Publication Date: December, 1970
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 35, Issue 4 (1970)
Partial Recursive Functions and $\omega$-Functions
C. H. Applebaum and J. C. E. Dekker; 559-568
Reviews
Review: J.L. Austin, The Meaning of a Word; J. L. Austin, J. O. Urmson, G. J. Warnock, Truth; J. L. Austin, Unfair to Facts
James Cargile; 569-571
Review: B. V. Birukov, The Downfall of the Metaphysical Conception of the Universality of Object Domains in Logic
Ignacio Angelelli; 571-572
Review: J. F. Staal, Means of Formalisation in Indian and Western Logic; J. F. Staal, Correlations Between Language and Logic in Indian Thought; J. F. Staal, Formal Structures in Indian Logic
Jan Berg; 572-573
Review: J. F. Staal, Negation and the Law of Contradiction in Indian Thought: A Comparative Study
Jan Berg; 575
Review: Andrzej Mostowski, On Various Degrees of Constructivism
George S. Boolos; 575-576
Review: Rolf Schock, On Determinism, the Universe, and Related Concepts
Arnold Koslow; 577-578
Review: James Willard Oliver, Some Misconceptions of Modern Logic
Gerald Standley; 578
Review: Daniel Ponasse, Logique Mathematique. Elements de Base: Calcul Propositionnel, Calcul des Predicats
Alfons Borgers; 579-580
Review: Roland Fraisse, Cours de Logique Mathematique. Tome I. Relation, Formule Logique, Compacite, Completude
D. Ponasse; 580
Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic
David Makinson; 581-582
Review: Akira Nakamura, (Yoso ronri to tati ronri no kankei ni tuite): On the Relation between Modal Logic and Many-Valued Logic
Takeo Sugihara; 582
Review: Nicholas Rescher, A Probabilistic Approach to Modal Logic
John P. Burgess; 583
Review: Karl Schroter, Uber den Zusammenhang der Implikationsaxiomen Vollstandiger Axiomensysteme des Zweiwertigen mit denen des Intuitionistischen Aussagenkalkuls; Karl Schroter, Eine Umformung des Heytingschen Axiomensystems fur den Intuitionistischen Aussagenkalkul
Gene F. Rose; 583
Review: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable
M. D. Gladstone; 584
Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable
M. D. Gladstone; 584
Review: Eugen Mihailescu, Sur les Proprietes de l'Implication par Rapport a l'Equivalence et la Disjonction
Ronald Harrop; 584
Review: Stefan N. Berti, Aplicatii ale Teoriei Relatiilor in Logica Matematica (Applications de la Theorie des Relations dans la Logique Mathematique
Perry Smith; 584
Review: H. Jerome Keisler, Ultraproducts and Saturated Models
James R. Geiser; 584-585
Review: A. Ehrenfeucht, A. Mostowski, A Compact Space of Models of First Order Theories
G. Fuhrken; 586-587
Review: Per Lindstrom, On Characterizability in $L_{\omega_{1}\omega_{0}}$
J. Malitz; 587
Review: M. I. Kargapolov, U. I. Merzlakov, V. N. Remeslennikov, (Kourovskad tetrad'neresennye zadaci teorii grupp): Kourovsk Exercise Book
Ann S. Ferebee; 587
Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis
W. A. Howard; 587-588
Review: S. C. Kleene, Ernest Nagel, Patrick Suppes, Alfred Tarski, Turing-Machine Computable Functionals of Finite Types I; S. C. Kleene, Turing-Machine Computable Functionals of Finite Types II
D. A. Clarke; 588-589
Review: C. E. M. Yates, John N. Crossley, Recursively Enumerable Degrees and the Degrees Less Than $0^{(1)}$
S. K. Thomason; 589
Review: A. Nerode, Additive Relations Among Recursive Equivalence Types
Matthew J. Hassett; 589-590
Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types
Alfred B. Manaster; 590
Review: M. Adrian Carpentier, Creative Sequences and Double Sequences
J. P. Cleave; 590
Review: M. D. Davis, A Note on Universal Turing Machines; Martin Davis, The Definition of Universal Turing Machine
R. J. Nelson; 590
Review: Rolf Schock, A Simple Version of the Generalized Continuum Hypothesis
J. R. Shoenfield; 592
Review: George F. Simmons, Introduction to Topology and Modern Analysis
Perry Smith; 592
Review: Giulio Andreoli, Funzioni Simmetriche, Involuzioni ed n-adi in un'Algebra di Boole
Ruggero Ferro; 592
Review: R. V. Frejvald, Funkcional'naá polnota dlá né vsúdu oprédélénnyh funkcij algébry logiki (Functional Completeness for Incompletely Specified Logic Functions)
Ivo Rosenberg and A. Adam; 592-593
Review: V. V. Vojtišék, Ob odnom podhode k klassifikacii bulevyh funkcij (On an Approach to the Classification of Boolean Functions)
A. Ádám; 593
Review: Erwin Engeler, Formal Languages: Automata and Structures
Andrzej Blikle; 594-595
Review: James R. Slagle, Automatic Theorem Proving with Renamable and Semantic Resolution
Lawrence T. Wos; 595-596
Review: James R. Slagle, Experiments with a Deductive Question-Answering Program
David C. Cooper; 596
Review: James R. Slagle, Philip Bursky, Experiments with a Multipurpose, Theorem-Proving Heuristic Program
David C. Cooper; 596
Review: S. Summersbee, A. Walters, Programming the Functions of Formal Logic, II
Alan Rose; 596-597
Review: A. Porter, P. K. T. Vaswani, The Optimization of Logical Goal-Seeking Procedures
Alan Rose; 597
Review: Sampo Salovaara, On Set Theoretical Foundations of System Theory. Concept
L. A. Zadeh; 597
Review: Chen Chuan Chong, An Application of Electric Circuits in Mathematical Logic
H. Enderton; 597
Meeting of the Association for Symbolic Logic Manchester 1969
R. O. Gandy and C. E. M. Yates; 598-613
Errata
Miscellaneous back pages, J. Symbolic Logic, Volume 35, Issue 4 (1970)
