Journal of Symbolic Logic — Philosophy Book Reviews

Book Title	Author	Reviewer	Date
Analysis of first-order implications	W. Craig	Warren D. Goldfarb	1973
E. J. Lemmon		Risto Hilpinen	1973
Symbolic logic	John Venn	Alonzo Church	1972
The theory ofsets and transfinite numbers	B. Rotman and G. T. Kneebone	Perry Smith	1972
A. J. Perlis and K. Samelson. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959	Richard Goodman	Karel Čulík	1972
Abstrakte Automaten	Peter H. Starke	Arto Salomaa	1972
Leçons sur la théorie des automates mathématiques	C. Boucher	Andrzej Blikle	1972
Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel	Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn	G. Kreisel	1972
Les fonctions combinatoires et les isols	J. C. E. Dekker	Alfred B. Manaster	1972
Memory bounds for recognition of context-free and context-sensitive languages	P. M. LewisII, R. E. Stearns, and J. Hartmanis	Walter J. Savitch	1972
Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2	Franz L. Alt	S. Huzino	1972
Ju. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium	J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63	Ann S. Ferebee	1972
Elementary lope	Benson Mates	Alonzo Church	1972
Logics without existence assumptions	Rolf Schock	Theodore Hailperin	1972
On the work of Alan Baker	Paul Turán	Alonzo Church	1972
Some applications of degrees	J. R. Shoenheld	S. K. Thomason	1972
Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957	A. Heyting, Studies in logic and the foundations of mathematics	Bruce Lercher	1972
Introductory note	Jean van Heijenoort	Alonzo Church	1972
The language of time	Richard M. Gale	Nino B. Cocchiarella	1972
New foundations of absolute geometry	Wanda Szmielew	Thomas Frayne	1972
C. Goekoop		Sibajiban	1972
An introduction to modal logic. A second printing, with corrections, of XXXVI 328	G. E. Hughes and M. J. Cresswell	H. B. Enderton	1972
Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney	Errett Bishop	Anders Wedberg	1972
Aspects of scientific explanation	Carl G. Hempel	Asa Kasher	1972
Axiomatizability of geometry without points. Synthese, vol. 12 nos	Andrzej Grzegorczyk	Wolfram Schwabhäuser	1972
First order mathematical logic	Angelo Margaris	A. H. Lightstone	1972
Diophantine representation of recursively enumerable predicates	Yu. V. Matijasevič	Alonzo Church	1972
The demarcation between science and metaphysics. A reprint of XXXVI 533. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol	Karl R. Popper	Richard C. Jeffrey	1972
Hierarchies of memory limited computations	R. E. Stearns, J. Hartmanis, and P. M. LewisII	Walter J. Savitch	1972
Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique	Gr. C. Moisil	Alonzo Church	1972
Octavian C. Bâscâ. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique	Gr. C. Moisil	Alonzo Church	1972
Set theory and its logic	Willard Van Orman Quine	G. T. Kneebone	1972
Klassen rekursiver Funktionen	D. Rödding	Günter Asser	1972
Classifications of computations by time and memory requirements	J. Hartmanis, P. M. LewisII, and R. E. Stearns	Jiří Bečvář	1972
Linguistics	David Crystal	Alonzo Church	1972
Biographical sketch	M. E. Szabo	K. Schütte	1972
Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). 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	James E. Baumgartner	1972
Models and ultraproducts: An introduction	J L Bell	Perry Smith	1972
Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor	Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal	Ann S. Ferebee	1972
Metaphysics in logic. A revised reprint of XXXV 455	G. J. Warnock	Anders Wedberg	1972
Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages	Jon Barwise, Lecture notes in mathematics, no. 72	Mihály Makkai	1972
J. R. Shoenheld. Applications of model theory to degrees of unsolvability. 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	Gerald E. Sacks	1972
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov	G E Mints	J Van Heijenoort	1971-09-01
The De Grammatico of St. Anselm: The Theory of Paronymy	Desmond P Henry	Eugene C Luschei	1971-09-01
The Language of Morals	R M Hare	Brian F Chellas	1971-03-01
Prolegomena to A Theory of Language	Louis Hjelmslev	Bengt-Olof Qvarnstroem	1971-03-01
Hierarchies of Predicates of Finite Types	D A Clarke	Peter G Hinman	1971-03-01
Theory of Recursive Functions and Effective Computability	Hartley Rogers Jr	C E M Yates	1971-03-01
Computer-assisted instruction: Stanford's 1965–66 arithmetic program	Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver	Layman E. Allen	1971
W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability	W. A. J. Luxemburg	Louis Narens	1971

The Journal of Symbolic Logic