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
Introduction to the logical design of switching systems H. C. Torng H. B. Enderton 1976
A profile of mathematical logic Howard DeLong Richard E. Grandy 1975
Ronald Björn Jensen. On the consistency of a slight (?) modification of Quine's New foundations. Words and objections, Essays on the work of W. V. Quine Donald Davidson and Jaakko Hintikka C. Ward Henson 1975
Recursive function theory and logic Ann Yasuhara Oseph S. Ullian 1975
J. R. Shoenfield. Measurable cardinals. 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 Kenneth Kunen 1975
Dana Scott. The lattice of flow diagrams. Symposium on semantics of algorithmic languages E. Engeler, Lecture notes in mathematics, vol. 188 John C. Reynolds 1975
E. R. Kiely Alonzo Church 1975
Logische Syntax der Sprache Rudolf Carnap Alonzo Church 1975
B. F. McGuinness Alonzo Church 1975
Daniel Lacombe. Recursion theoretic structure for relational systems. 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 Carl E. Gordon 1975
Vorlesungen über die Algebra der Logik (exacte Logik) Ernst Schröder Paul Bernays 1975
Richard Montague. Set theory and higher-order logic. 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 Richard Mansfield 1975
Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968 S Mazur R L Goodstein 1975
Set theory. English translation of XL 649(4) by M. Maczynski K. Kuratowski and A. Mostowski H. B. Enderton 1975
Introductory note W. V. Quine Alonzo Church 1975
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966 H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics William A. Howard 1975
Jaakko Hintikka. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2 Jaakko Hintikka Henry E Kyburg Jr 1975
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn Alonzo Church 1975
Modelle der Mengenlehre Ronald Björn Jensen Maurice Boffa 1975
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad C. Smorynski 1975
The logic of scientific discovery Karl Popper Alonzo Church 1975
Linguistic analysis H. A. Nielsen Alonzo Church 1975
Translator's foreword B. F. WellsIII Verena H. Dyson 1975
Dag Prawitz. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63 Solomon Feferman 1975
De Morgan, Augustus G. L. Farre Alonzo Church 1975
J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams William E. Gould 1975
First-order logic Raymond M. Smullyan William Craig 1975
Ordinals and functionals in proof theory Solomon Feferman Georg Kreisel 1975
Threshold logic Sze-Tsen Hu Alonzo Church 1975
Decidability and definability in second-order theories Michael O. Rabin Dirk Siefkes 1975
Axiomatic system J. A. Ladrière Alonzo Church 1975
Einführung in die Grundbegriffe und Probleme der modernen Logik. Studium universale Gisbert Hasenjaeger Gert H. Müller 1975
The philosophy of mathematics. An introductory essay Stephan Körner Mark Steiner 1975
Preface. English translation of XL 256(1) Evert W. Beth H. L. Berghel 1975
Richard M. Karp. Reducibility among combinatorial problems. Complexity of computer computations, Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Center, Yorktown Heights, New York Raymond E. Miller and James W. Thatcher Ronald V. Book 1975
Über die unendliche Induktion G. H. Müller K. Schütte 1975
Constructible sets with applications A. Mostowski Perry Smith 1975
Degrees of unsolvability Joseph R. Shoenfield Leonard P. Sasso 1975
Models of ZF-set theory Ulrich Felgner Frank R. Drake 1975
W. W. Tait. Infinitely long terms of transfinite type. 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 E. G. K. LóPez-Escobar 1975
Analytical philosophy M. J. Charlesworth Alonzo Church 1975
Logic of statistical inference Ian Hacking Gordon Matthews 1975
Introduction to symbolic logic John L. Pollock B. G. Hurdle 1975
Modal logic and its applications D. Paul Snyder Hugh Montgomery 1975
Boole, George G. L. Farre Alonzo Church 1975
I. Thomas Alonzo Church 1975
Semantics Donald Nute Dolph Ulrich 1975
Frege, Gottlob G. L. Farre Alonzo Church 1975
Paul Bernays. On the original Gentzen consistency proof for number theory. 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 J. van Heijenoort 1975
Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory E. R. Caianiello Jonathan P. Seldin 1975
« Prev 1 2 3 … 13 14 15 16 17 … 36 37 38 Next »