Journal of Symbolic Logic — Philosophy Book Reviews

Book Title	Author	Reviewer	Date
On non-standard models for number theory	Elliott Mendelson	Steven Orey	1967
Natural deduction. A proof-theoretical study	Dag Prawitz	Richmond Thomason	1967
Some recent work of Ehrenfeucht and Fraïssé	Solomon Feferman	Erwin Engeler	1967
Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley	J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics	Joel W. Robbin	1967
Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic	Andrzej Mostowski	Raphael M. Robinson	1967
Combinatory logic. Volume I. With two sections by William Craig	Haskell B. Curry and Robert Feys	J. Barkley Rosser	1967
Computational complexity of recursive sequences	J. Hartmanis and R. E. Stearns	Jiří Bečvář	1967
The unit preference strategy in theorem proving	Lawrence Wos, Daniel Carson, and George Robinson	David Luckham	1967
Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems	P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics	David C. Cooper	1967
Introduction à la logique juridique. Éléments de sémiotique juridique, logique des normes et logique juridique. With a preface by Ch. Perelman. Bibliothèque de philosophie du droit, volume III	Georges Kalinowski	E. J. Lemmon	1967
Symbolic logic	A T Shearman	Randall R Dipert	1967
On automatic deduction	John Alan Robinson	David Luckham	1966-09-02
Recursive equivalence types and combinatorial functions	John Myhill	J. C. E. Dekker	1966-09-02
Das Wahrheitsproblem und die Idee der Semantik. Eine Einführung in die Theorien von A. Tarski und R. Carnap	Wolfgang Stegmüller	R. M. Martin	1966-09-02
Fonctions récursives	Andrzej Grzegorczyk	Rózsa Péter	1966-09-02
Some problems in logical model-theory	Lars Svenonius	William Hanf	1966-09-02
Elementary logic	Benson Mates	G. T. Kneebone	1966-09-02
Lattices to logic	Roy Dubisch	Franz E. Hohn	1966-09-02
Martin Davis		Stefan Bauer-Mengelberg	1966-09-02
A program for Presburger's algorithm	Martin Davis	D. A. Clarke	1966
Quantification theory	J. A. Faris	Donald Kalish	1966
Histoire de la logique	Marcel Boll and Jacques Reinhart	Ignacio Angelelli	1966
Grundlegung der Logik. Ausgewählte Paragraphen aus der Wissenschaftslehre, Band I und II. Mit ergänzenden Textzusammenfassungen, einer Einleitung und Registern. Edited by Friedrich Kambartel	Bernard Bolzano	Y. Bar-Hillel	1966
Comparing the axioms of local and universal choice	Azriel Lévy	A. Hajnal	1966
Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein	P. S. Novikov	Gert H. Müller	1966
Names and descriptions	A. J. Ayer	James Thomson	1966
Truth	A. J. Ayer	James Thomson	1966
Logik des Rechts	Rupert Schreiber	Nicholas A. Vonneuman	1966
Introduction to logic and to the methodology of deductive sciences	Alfred Tarski	Ann M. Singleterry	1966
Sentences true in all constructive models	R. L. Vaught	S. Feferman	1966
Elements of symbolic logic	Hans Reichenbach	J. van Heijenoort	1966
Boolean algebras	Roman Sikorski	Donald Monk	1966
The notion of rank in set-theory	Dana Scott	A. Hajnal	1966
Fraenkel's addition to the axioms of Zermelo	Richard Montague	A. Hajnal	1966
Recursive ordinals and predicative set theory	Clifford Spector	D. A. Clarke	1966
Truth-functional logic	J. A. Faris	Gene F. Rose	1966
David Rynin. Introduction. A treatise on language, by Alexander Bryan Johnson	David Rynin	Alonzo Church	1966
Effectively decidable theories	Alan Cobham	Ann M. Singleterry	1966
Sums of squares	Leon Henkin	Abraham Robinson	1966
On mathematical concepts of the material world. A reprint of 997	Alfred North Whitehead	S. Jaśkowski	1966
Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen	Hans Hermes	Kurt Schütte	1966
Another proof of Takeuti's theorems on Skolem's paradox	Shôji Maehara	Erwin Engeler	1966
Sums of squares	G. Kreisel	Abraham Robinson	1966
Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902	Ralph Monroe Eaton	Charles A. Baylis	1966
Hierarchies and the axiom of constructibility	J. W. Addison	D. A. Clarke	1966
G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960,	A. Heyting, Studies in logic and the foundations of mathematics	Yiannis N. Moschovakis	1966
Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957	A. Heyting, Studies in logic and the foundations of mathematics	Ylannis N. Moschovakis	1966
The gentle art of mathematics. With drawings by Griselda El Tayeb	Dan Pedoe	Alonzo Church	1966
Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963	J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics	F. C. Oglesby	1966
M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963	J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics	Gerold Stahl	1966

The Journal of Symbolic Logic