Journal of Symbolic Logic — Philosophy Book Reviews

Book Title	Author	Reviewer	Date
The logic of religion	Joseph M. Bochenski (I. M. Bocheński)	Wilfrid Hodges	1968-07-23
Unsolvable problems: a review	Martin Davis	Mary Katherine Yntema	1968-07-23
Foundational aspects of theories of measurement. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959)	Dana Scott and Patrick Suppes	Robert L. Causey	1968-07-23
Applied Boolean algebra. An elementary introduction. Deuxième édition, revue et augmentée, de XXVII 104	Franz E. Hohn	J. Kuntzmann	1968-07-23
Signification and significance. A study of the relation of signs and values. The M.I.T	Charles Morris	Alonzo Church	1968-07-23
Transistor logic circuits	Richard B. Hurley	Alonzo Church	1968-04-26
A theory of sets	Anthony P. Morse	J. R. Shoenfield	1968-04-26
A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems	P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics	Martin Davis	1968-04-26
Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel	M. Denis-Papin, A. Kaufmann, and R. Faure	Alonzo Church	1968-04-26
On what there is. A reprint of XIX 134(1)	Willard Van Orman Quine	Frederic B. Fitch	1968-04-26
Introduction	G. H. R. Parkinson	Alonzo Church	1968-04-26
The separation theorem on the classical system	Tsutomu Hosoi	T. Thacher Robinson	1968-04-26
A transfinite type theory with type variables	P. B. Andrews	R. O. Gandy	1968-04-26
E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems	P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics	Martin Davis	1968-04-26
Frege	Rosaria Egidi	Francesca Rivetti Barbo	1968-04-26
A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference	Zohar Manna	Andrzej Mlikle	1968-04-26
Konstruktive Grundlagen der Logik	Amitabha Ghose	G. Hasenjaeger	1968
Proving a theorem (as done by man, logician, or machine)	Abraham Robinson	J. A. Robinson	1968
Ein dialogisches Konstruktwitätskriterium	P. Lorenzen	G. Kreisel	1968
Studies in the history of Arabic logic	Nicholas Rescher	Timothy C. Potts	1968
Le programme ultra-intuitionniste des fondements des mathématiques	A. S. Ésénine-Volpine	G. Kreisel	1968
Infinitistic methods from a finitist point of view	A. Heyting	G. Kreisel	1968
Introduction to lattice theory	D. E. Rutherford	Donald Monk	1968
Theorem proving by machine	H. Gelernter	J. A. Robinson	1968
Degree of unsolvability and the rate of growth of functions	S. Tennenbaum	F. B. Cannonito	1968
Der logische Aufbau der Welt. Scheinprobleme in der Philosophie	Rudolf Carnap	Wolfgang Stegmüller	1968
On a simple source for non-computable functions	Tibor Rado	F. B. Cannonito	1968
Roderick M. Chisholm. Sentences about believing. Proceedings of the Aristotelian Society, n.s. vol. 56 (1955–6)	Herbert Feigl, Michael Scriven, and Grover Maxwell	Charles A. Baylis	1967-10-09
Une notion de récursivité relative	R. Fraïssé	Günter Asser	1967-10-09
First course in mathematical logic	Patrick Suppes and Shirley Hill	Ann M. Singleterry	1967-10-09
Cylindrical algebras	Leon Henkin and Alfred Tarski	Ann M. Singleterry	1967-10-09
R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. Sequential machines, Selected papers	Edward F. Moore	Andrzej J. Blikle	1967-10-09
Mathematical logic. Lectures on modern mathematics, vol	Georg Kreisel	R. E. Vesley	1967-10-09
Solutions to the exercises in First course in mathematical logic	Frederick Binford	Ann M. Singleterry	1967-10-09
Scientific method	Charles Sanders Peirce	Alonzo Church	1967-10-09
Aspects of the theory of syntax. The M.I.T	Noam Chomsky	J. F. Staal	1967-10-09
David A. Huffman. Canonical forms for information-lossless finite-stale logical machines. Sequential machines, Selected papers	Edward F. Moore	Andrzej J. Blikle	1967-10-09
Elementary concepts of modern mathematics	Flora Dinkines	Alfons Borgers	1967-10-09
Some applications of the theory of models to set theory	H. Jerome Keisler	Azriel Lévy	1967-10-09
N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems	P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics	G. H. Matthews	1967-10-09
Language & philosophy. Translated from the French by Henry B. Veatch	Mikel Dufrenne	Gilbert H. Harman	1967
International directory of philosophy and philosophers	Gilbert Varet and Paul Kurtz, editors	Alonzo Church	1967
Grundgedanken einer typenfreien Logik	Wilhelm Ackermann	Ronald Harrop	1967
Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems	P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics	J. A. Robinson	1967
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	B. Dunham, R. Fridshal, and G. L. Sward	Joyce Friedman	1967
Elementary (arithmetical) extensions	A. Tarski and R. L. Vaught	Abraham Robinson	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	1967
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül	Max Käsbauer and Franz von Kutschera	Charles Parsons	1967
Hans-Dieter Sluga. Frege und die Typentheorie. Eine historische Untersuchung. Logik und Logikkalkül	Max Käsbauer and Franz von Kutschera	Ignacio Angelelli	1967
Combinatory logic	Haskell B. Curry	Henk Barendregt	1967

The Journal of Symbolic Logic