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
Logic, symbolic W. A. Wallace Alonzo Church 1975
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn Richard J. Orgass 1975
Michael O. Rabin. Weakly definable relations and special automata Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics Dirk Siefkes 1975
Antinomy H. A. Nielsen Alonzo Church 1975
Theory of sets. Elements of mathematics. English translation of XXXVII 636(6-8), XL 289(1) Nicolas Bourbaki (pseudonym) Perry Smith 1975
Saturated model theory. Photolithographed from typewritten manuscript Gerald E. Sacks Michael Makkai 1975
Fundamentals of symbolic logic Alice Ambrose and Morris Lazerowitz W. T. Parry 1975
Preface Warren D. Goldfarb Jean-Pierre Bénéjam 1975
The Navya-nyāya doctrine of negation. The semantics and ontology of negative statements in Navya-nyāya philosophy Bimal Krishna Matilal Jan Berg 1975
Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque Alessandro Padoa Alonzo Church 1975
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61 C. E. M. Yates 1975
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968 A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics James R. Geiser 1975
Peano, Giuseppe G. L. Farre Alonzo Church 1975
Greg Cherlin and Joram Hirschfeld. Ultrafilters and ultraproducts in non-standard analysis. Contributions to non-standard analysis W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69 Ralph Kopperman 1975
Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2 Imre Lakatos, Studies in logic and the foundations of mathematics Henry E. Kyburg 1975
Forcing in model theory. Symposia mathematica, vol Abraham Robinson H. Jerome Keisler 1975
A. N. Prior. Existence in Leśniewski and in Russell. 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 C. Lejewski 1975
Principles of intuitionism A. S. Troelstra Joan Rand Moschovakis 1975
Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in inductive logic and probability, Volume I Rudolf Carnap David Miller 1975
Bolzano, Bemhard T. λ K. Kloyda Alonzo Church 1975
Mathematical logic Joseph R. Shoenfield Donald Monk 1975
H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967 B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics H.-D. Ebbinghaus 1974
The theory of logical types Irving M. Copi Francis Jeffry Pelletier 1974
Logic and philosophy. A modern introduction Howard Kahane Richard E. Robinson 1974
Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique Gr.C. Moisil Alonzo Church 1974
Recursion in objects of finite type Gerald E. Sacks D. A. Clarke 1974
Théorie axiomatique des ensembles Jean-Louis Krivine Azriel Levy 1974
Michael Morley. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967 M. H. Löb, Lecture notes in mathematics, no. 70 Wilfrid Hodges 1974
Fred Sommers. On a Fregean dogma. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1 Imre Lakatos, Studies in logic and the foundations of mathematics Gerald Standley 1974
Freedom and reason R. M. Hare Brian F. Chellas 1974
Peirce's icons for deductive logic Hugues Leblanc William E Gould 1974
Introduction Ignacio Angelelli Michael D. Resnik 1974
Formalization and automatic theorem-proving Hao Wang Joyce Friedman 1974
Heinrich Behmann. Drei Aporien der Identität. Logik and Logikkalkül Max Käsbauer and Franz von Kutschera John Perry 1974
Conceptual foundations of scientific thought. An introduction to the philosophy of science Marx W. Wartofsky David Miller 1974
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. 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 William Glassmire 1974
Law and logic. A critical account of legal argument Joseph Horovitz Nicholas A. Vonneuman 1974
Symbolic logic Irving M Copi Donald Kalish 1974
Simplified independence proofs. Boolean valued models of set theory J. Barkley Rosser Aleksander Rutkowski 1974
Replies to my critics. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol C. I. Lewis M. J. Cresswell 1974
Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116 Bertrand Russell Alonzo Church 1974
Lewis and the history of symbolic logic. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol Karl Dürr M. J. Cresswell 1974
A general interpreted modal calculus Aldo Bressan M Drieschner 1974
Proof theory and intuitionistic systems Bruno Scarpellini Hans Freudenthal 1974
Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4, 1958 Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics M. Drieschner 1974
Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63 A. S. Kechris 1974
Introductory note Jean van Heijenoort Alonzo Church 1974
Lewis on contrary-to-fact conditionals. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol Arthur Pap M. J. Cresswell 1974
D. Hilbert and P. Bernays G. T. Kneebone 1974
E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957 A. Heyting, Studies in logic and the foundations of mathematics Hans Freudenthal 1974
« Prev 1 2 3 … 14 15 16 17 18 … 36 37 38 Next »