A comprehensive index of philosophy book reviews

The Journal of Symbolic Logic

1,870 reviews · 1936–1999

Search reviews from Journal of Symbolic Logic

Book Title Author Reviewer Date
Model theory and non-standard arithmetic A. Robinson William N. Reinhardt 1970
Proper names and descriptions John R. Searle Benson Mates 1970
Calculus of Functions of One Argument E W Cogan William E Gould 1969-12-01
Dimension in elementary Euclidean geometry Dana Scott Wolfram Schwabhäuser 1969-11-17
Bertrand Russell. My mental development. A reprint of IX 82(1). The philosophy of Bertrand Russell Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 1–20; also third edition, Tudor Publishing Company, New York 1951, pp. 1-20; also paper-bound reprint of the third edition Ann S. Ferebee 1969-11-17
A practical infinitistic computer L. Kalmár William E. Gould 1969-11-17
Logiques construites par une méthode de déduction naturelle J. Dopp Dag Prawitz 1969-11-17
Modal logics. Edited with some complements by Joseph Dopp Robert Feys Gerald J. Massey 1969-11-17
Insolubilia. A reprint of 2813 Charles Sanders Peirce Alonzo Church 1969-11-17
Elementary functions and coordinate geometry Sze-Tsen Hu Alonzo Church 1969-11-17
The logic of commands Nicolas Rescher James Thomson 1969-11-17
The problem of predicativity J. R. Shoenfield George S. Boolos 1969-11-17
J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965 John N. Crossley, Studies in logic and the foundations of mathematics C. E. Bredlau 1969-11-17
Logiques Construites Par Une Methode de Deduction Naturelle J Dopp Dag Prawitz 1969-09-01
Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225 Krister Segerberg 1969-07-25
The logic of Saint Anselm Desmond Paul Henry Norman Kretzmann 1969-07-25
Maurice Gross and André Lentin. Notions sur les grammaires formelles Andrzej Blikle 1969-07-25
Two contributions to the foundations of set Richard Montague Solomon Feferman 1969-07-25
Basic concepts of measurement Brian Ellis Robert L. Causey 1969-07-25
Die Manningfaltigketi der Direktiven für die Gestaltung Paul Bernays G. T. Kneebone 1969-07-25
Elements of mathematical logic. (Model theory) G. Kreisel and J. L. Krivine C. C. Chang 1969-05-29
On a theorem of Cobham concerning undecidable theories Robert L. Vaught Verena H. Dyson 1969-05-29
W. Hanf. Model-theoretic methods in the study of elementary logic. 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 Verena H. Dyson 1969-05-29
Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° Colloque International de Logique Mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser Alan Rose Krister Segerberg 1969-05-29
Mengenlehre und Logik. Dunker & Humblot, Berlin Abraham A. Fraenkel Thomas Frayne 1969-05-29
Polish analytical philosophy. A survey and a comparison with British analytical philosophy. International Library of Philosophy and Scientific Method Henryk Skolimowski Krister Segerberg 1969-05-29
Introduction to mathematical logic Elliott Mendelson Dirk van Dalen 1969-05-29
Sinn und Bedeutung in der Logik Gottlob Freges Christian Thiel G. Gabriel 1969-05-29
H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957 A. Heyting, Studies in logic and the foundations of mathematics David Nelson 1969-05-29
A theory of formal deducibility Haskell B. Curry Ann S. Ferebee 1969-05-29
Translator's preface J. H. Woodger W. A. Pogorzelski 1969-05-29
Universal algebra P. M. Cohn Abraham Robinson 1969-05-29
Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 (1961), S. 384–399 C.Y Günter Asser 1969
Introduction to logic and sets Robert R. Christian Alfons Borgers 1969
Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre P. Bernays J. R. Shoenfield 1969
A. N. Prior. Escapism: the logical basis of ethics. Essays in moral philosophy A. I. Melden Layman E. Allen 1969
The language of logic Hans Freudenthal G. T. Kneebone 1969
A modern introduction to indian logic S. S. Barlinoay J. F. Staal 1969
Advanced calculus Lynn H. Loomis and Shlomo Sternberg Ann S. Ferebee 1969
The foundations of mathematics. A study in the philosophy of science Evert W. Beth Ann S. Ferebee 1969
Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson N. E. Kobrinskii and B. A. Trakhtenbrot Robert McNaughton 1968-10-10
Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960, A. Heyting, Studies in logic and the foundations of mathematics Yiannis N. Moschovakis 1968-10-10
Languages with expressions of infinite length Carol R. Karp William P. Hanf 1968-10-10
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. 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 G. Fuhrken 1968-10-10
Periodicity of Post's normal process of tag Shigeru Watanabe Mary Katherine Yntema 1968-07-23
I. M. Bocheński Charles A. Baylis 1968-07-23
Michael Morley. Omitting classes of elements. 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 E. G. K. Lopez-Escobar 1968-07-23
Introduction to metamathematics. Fourth printing of XIX 215 Stephen Cole Kleene Ann Singleterry Ferebee 1968-07-23
Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276 G. Asser Ann S. Ferebee 1968-07-23
Introduction to the formal analysis of natural languages Noam Chomsky and George A. Miller Joseph S. Ullian 1968-07-23
« Prev 1 2 3 … 21 22 23 24 25 … 36 37 38 Next »