Metaphysics & Logic — Philosophy Book Reviews

Book Title	Author	Reviewer	Journal	Date
A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960,	B. Dunham, R. Fridshal, and G. L. Sward	Joyce Friedman	Journal of Symbolic Logic	1967
Elementary (arithmetical) extensions	A. Tarski and R. L. Vaught	Abraham Robinson	Journal of Symbolic Logic	1967
Mathematics and logic in history and in contemporary thought. English translation of XXVIII 171(2) by Isabel Quigly	Ettore Carruccio	Harry V. Stopes-Roe	Journal of Symbolic Logic	1967
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül	Max Käsbauer and Franz von Kutschera	Charles Parsons	Journal of Symbolic Logic	1967
Hans-Dieter Sluga. Frege und die Typentheorie. Eine historische Untersuchung. Logik und Logikkalkül	Max Käsbauer and Franz von Kutschera	Ignacio Angelelli	Journal of Symbolic Logic	1967
Combinatory logic	Haskell B. Curry	Henk Barendregt	Journal of Symbolic Logic	1967
On non-standard models for number theory	Elliott Mendelson	Steven Orey	Journal of Symbolic Logic	1967
Natural deduction. A proof-theoretical study	Dag Prawitz	Richmond Thomason	Journal of Symbolic Logic	1967
Some recent work of Ehrenfeucht and Fraïssé	Solomon Feferman	Erwin Engeler	Journal of Symbolic Logic	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	Journal of Symbolic Logic	1967
Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic	Andrzej Mostowski	Raphael M. Robinson	Journal of Symbolic Logic	1967
Combinatory logic. Volume I. With two sections by William Craig	Haskell B. Curry and Robert Feys	J. Barkley Rosser	Journal of Symbolic Logic	1967
Computational complexity of recursive sequences	J. Hartmanis and R. E. Stearns	Jiří Bečvář	Journal of Symbolic Logic	1967
The unit preference strategy in theorem proving	Lawrence Wos, Daniel Carson, and George Robinson	David Luckham	Journal of Symbolic Logic	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	Journal of Symbolic Logic	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	Journal of Symbolic Logic	1967
Symbolic logic	A T Shearman	Randall R Dipert	Journal of Symbolic Logic	1967
The Unique and the Universal	J.L. Talmon	George Lichtheim	New York Review of Books	1966-12-15
Man Adapting	René Dubos	Aubrey Lewis	New York Review of Books	1966-12-01
From Phenomenology to Metaphysics: An Inquiry into the Last Period of Merleau-Ponty's Philosophical Life	Remy C. Kwant	Fraser Cowley	Dialogue	1966-12-01
Plotini Opera. Ediderunt Paul Henry et Hans-Rudolf Schwyzer	Tomus I	Vianney Décarie	Dialogue	1966-12-01
New Studies in Berkeley's Philosophy	Harry M Bracken	Robert McRoe	Dialogue	1966-12-01
The Age of Complexity	H. Kohl	P. F. L.	Review of Metaphysics	1966-12-00
Non-Standard Analysis	A. Robinson		Review of Metaphysics	1966-12-00
Hindu Polytheism	A. Daniélou	W. G. E.	Review of Metaphysics	1966-12-00
Aristotle: Protrepticus, a Reconstruction	A. Chroust	R. B. C.	Review of Metaphysics	1966-12-00
An Analysis of Questions: Preliminary Report N. D. Belnap Jr.	N. D. Belnap, Jr.	A. Z. B.	Review of Metaphysics	1966-12-00
A Metaphysics of Being and God J. V. McGlynn P. M. Farley Sr.	J. V. Mcglynn	J. K.	Review of Metaphysics	1966-12-00
Prisoner's Dilemma: A Study in Conflict and Co-Operation	Anatol Rapoport	W. G. Runciman	Synthese	1966-12-00
Recent work in probability and induction	I. J. Good	Isaac Levi	Synthese	1966-11
Answers, and Presuppositions	Questions	Nuel D. Belnap	Journal of Philosophy	1966-10-27
Cosmos and History	Mircea Eliade	Edmund R. Leach	New York Review of Books	1966-10-20
The Two and the One	Mircea Eliade	Edmund R. Leach	New York Review of Books	1966-10-20
A Sign for Cain: An Exploration in Human Violence	Fredric Wertham M.D.	Edgar Z. Friedenberg	New York Review of Books	1966-10-20
Aristotle's Vision of Nature	F. J. E. Woodbridge	A. C. Lloyd	Philosophy	1966-10-01
On automatic deduction	John Alan Robinson	David Luckham	Journal of Symbolic Logic	1966-09-02
Recursive equivalence types and combinatorial functions	John Myhill	J. C. E. Dekker	Journal of Symbolic Logic	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	Journal of Symbolic Logic	1966-09-02
Fonctions récursives	Andrzej Grzegorczyk	Rózsa Péter	Journal of Symbolic Logic	1966-09-02
Some problems in logical model-theory	Lars Svenonius	William Hanf	Journal of Symbolic Logic	1966-09-02
Elementary logic	Benson Mates	G. T. Kneebone	Journal of Symbolic Logic	1966-09-02
Lattices to logic	Roy Dubisch	Franz E. Hohn	Journal of Symbolic Logic	1966-09-02
Martin Davis		Stefan Bauer-Mengelberg	Journal of Symbolic Logic	1966-09-02
Conceptions of Categories and Reality	Hall	Curtis S. Booth	Southern Journal of Philosophy	1966-09-01
Monadology and Other Philosophical Essays	G. W. Leibniz	Diogenes Allen	Dialogue	1966-09-01
Plato's Thought in the Making: A Study of the Development of his Metaphysics	J. E. Raven	John Malcolm	Dialogue	1966-09-01
Process and Reality	Donald W Sherburne	A. H. Johnson	Dialogue	1966-09-01
Filosofia e metafisica: Ricerche sul concetto di filosofia	L. Lugarini	C. D.	Review of Metaphysics	1966-09-00
Beyond the beyond or Science and Immortality	L. A. Littleton	S. A. S.	Review of Metaphysics	1966-09-00
An Interpretation and Critique of Wittgenstein's Tractatus	D. Favrholdt	A. E. J.	Review of Metaphysics	1966-09-00