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
An introduction to independence for analysts H G Dales Thomas Jech 1990
Toposes and local set theories. An introduction J. L. Bell G. C. Wraith 1990
Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19, 1985 J T Baldwin John B. Goode 1990
Stabilité en théorie des modèles. French original of the preceding Daniel Lascar Philip Scowcroft 1990
Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Algebraic theory of processes Matthew Hennessy Carl A. Gunter 1990
Charles Steinhorn. Borel structures for first-order and extended logics. Harvey Friedman's research on the foundations of mathematics L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 David Marker 1990
Solomon Feferman. Gödel's life and work. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Particles and paradoxes. The limits of quantum logic Peter Gibbins Maria Luisa Dalla Chiara 1990
Kurt Gödel. Zum intuitionistische Aussagenkalkül (1932). A reprint of 4186. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie (10818). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Téoréma Gëdélá o népolnoté. Russian original of the preceding. Populárnyé lékclii po matématiké, no. 57. “Nauka,” Moscow V. A. Uspénskij Donald Nute 1990
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 Wilfried Sieg 1990
Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Theory of logical calculi. Basis theory of consequence operations Ryszard Wojicki Stephen L. Bloom 1990
Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics Sergio Albeverio D. N. Hoover 1990
Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit (1930b). A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Robert K. Meyer. A farewell to entailment. Foundations of logic and linguistics, Problems and their solutions Georg Dorn and P. Weingartner Daniel H. Cohen 1990
Recursively enumerable sets and degrees. A study of computable functions and computably generated sets Robert I. Soare Rodney Downey 1990
Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
C. Anthony Anderson. General intensional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 Charles Parsons 1990
Introduction to medieval logic Alexander Broadie Norman Kretzmann 1990
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 J. V. Tucker 1990
Turing's world Jon Barwise and John Etchemendy George Boolos 1990
Stability in model theory. English translation by J. E. Wallington of Stabilité en théorie des modèles Daniel Lascar Anand Pillay 1990
Warren Goldfarb. Poincaré against the logicists. History and philosophy of modern mathematics William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11 Michael Hallett 1990
Wittgenstein, Frege and the Vienna circle Gordon Baker Peter Hylton 1990
Temporal logics and their applications Antony Galton Luis Fariñas del Cerro 1990
Kurt Gödel. Über Unabhängigkeitsbeweise im Aussagenkalküls (1933a). A reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort Martin Davis 1990
Multiple Forcing T Jech Matthew Foreman 1989-09-01
Lectures on Contemporary Syntactic Theories Peter Sells Pauline Jacobson 1989-06-01
Algorithmic Information Theory Gregory J Chaitin Peter Gacs 1989-06-01
Modèles non Standard en Arithmétique et Théorie des Ensembles A J Wilkie Peter Clote 1989-03-01
Non-well-founded sets. With a foreword by Jon Barwise Peter Aczel M Boffa 1989
Elliott Mendelson, Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631 John Corcoran 1989
Albert E. Hurd and Peter A. Loeb D. N. Hoover 1989
Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 Albert Visser 1989
Lennart Åqvist. Deontic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 David Makinson 1989
Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 Albert Visser 1989
Beyond analytic philosophy. Doing justice to what we know Hao Wang Michael D. Resnik 1989
Reflections on Kurt Gödel Hao Wang Harold T. Hodes 1989
Lennart Åqvist. Deontic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 David Makinson 1989
David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 Lenore D. Zuck 1989
Donald Nute. Conditional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 Charles B. Cross 1989
Proof theory and logical complexity Jean-Yves Girard Helmut Pfeiffer 1989
Model theory and modules Mike Prest T. G. Kucera 1989
The ethnomethodological foundations of mathematics. Studies in ethnomethodology Eric Livingston Thomas Tymoczko 1989
Anti-realism and logic. Truth as eternal Neil Tennant W. D. Hart 1989
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic D. Gabbay and F. Guenthner, Synthese library, vol. 165 Steven T. Kuhn 1989
« Prev 1 2 3 4 5 6 7 8 … 36 37 38 Next »