Reviews matching “An introduction to symbolic logic”

59 results · page 1 of 2

BookAuthorReviewerJournalDate
Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy (no vol. number) Ulrich Pardey Bernd Buldt The Bulletin of Symbolic Logic 2014-09-00
An Introduction to the Philosophy of Mathematics Mark Colyvan Richard Pettigrew The Bulletin of Symbolic Logic 2013-09-00
Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152 Jaap Van Oosten Peter T. Johnstone The Bulletin of Symbolic Logic 2010-09-00
An Introduction to Decision Theory Martin Peterson Steven Robertson The Bulletin of Symbolic Logic 2010-09-00
Modal logic. An introduction to its syntax and semantics Nino B. Cocchiarella Max A. Freund Nino B. Cocchiarella Heinrich Wansing The Bulletin of Symbolic Logic 2010-06-00
An introduction to Gödel's theorems Peter Smith Arnon Avron The Bulletin of Symbolic Logic 2009-06-01
An Introduction to Gödel's Theorems Peter Smith Arnon Avron The Bulletin of Symbolic Logic 2009-06-00
An Introduction to Non-Classical Logic: From If to Is Graham Priest Petr Hájek The Bulletin of Symbolic Logic 2008-12-00
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity Shawn Hedman Alasdair Urquhart The Bulletin of Symbolic Logic 2007-12-01
The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise Mary Tiles M Randall Holmes The Bulletin of Symbolic Logic 2006-12-01
Classical and Nonclassical Logic: An Introduction to the Mathematics of Propositions Eric Schechter Roger D Maddux The Bulletin of Symbolic Logic 2006-06-01
An Introduction to Paraconsistent Logics Manuel Bremer Casey McGinnis The Bulletin of Symbolic Logic 2005-09-01
An Introduction to Formal Logic Peter Smith David DeVidi The Bulletin of Symbolic Logic 2004-12-01
An Introduction to Probability and Inductive Logic Ian Hacking Branden Fitelson The Bulletin of Symbolic Logic 2003-12-01
An Introduction to Substructural Logics John Nolt Kosta Dosen The Bulletin of Symbolic Logic 2001-12-00
A Course in Model Theory. An Introduction to Contemporary Mathematical Logic Bruno Poizat Moses Klein Bruno Poizat Gregory Cherlin The Bulletin of Symbolic Logic 2001-12-00
Logic with Trees: An Introduction to Symbolic Logic Colin Howson Graham Priest Studia Logica 1999-07-01
An introduction to default logic Philippe Besnard V. Wiktor Marek The Journal of Symbolic Logic 1998
The language of machines. An introduction to computability and formal languages Robert W. Floyd and Richard Beigel Raymond D. Gumb The Journal of Symbolic Logic 1996
Thinking things through. An introduction to philosophical issues and achievements Clark Glymour Susan Russinoff The Journal of Symbolic Logic 1995
An introduction to Kolmogorov complexity and its applications Ming Li and Paul Vitányi V. A. Uspensky The Journal of Symbolic Logic 1995
An introduction to the theory of computation Eitan Gurari William I. Gasarch The Journal of Symbolic Logic 1991
An introduction to independence for analysts H G Dales Thomas Jech The Journal of Symbolic Logic 1990
Abstract objects. An introduction to axiomatic metaphysics Edward N. Zalta Michael Byrd The Journal of Symbolic Logic 1988
An introduction to mathematical logic and type theory: to truth through proof Peter B. Andrews M. Yasuhara The Journal of Symbolic Logic 1988
Abstract objects. An introduction to axiomatic metaphysics Edward N. Zalta Michael Byrd The Journal of Symbolic Logic 1988
An introduction to mathematical logic and type theory: to truth through proof Peter B. Andrews M. Yasuhara The Journal of Symbolic Logic 1988
Computabitity. An introduction to recursive function theory Nigel Cutland H. B. Enderton The Journal of Symbolic Logic 1987
An introduction to unification-based approaches to grammar Stuart M. Shieber James W. Garson The Journal of Symbolic Logic 1987
An introduction to stability theory Anand Pillay Michael Makkai The Journal of Symbolic Logic 1986
Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol Edward N. Zalta Michael Byrd The Journal of Symbolic Logic 1986
Set theory. An introduction to independence proofs Kenneth Kunen James E. Baumgartner The Journal of Symbolic Logic 1986
An introduction to stability theory Anand Pillay Michael Makkai The Journal of Symbolic Logic 1986
Set theory. An introduction to independence proofs Kenneth Kunen James E. Baumgartner The Journal of Symbolic Logic 1986
An Introduction to Philosophical Logic A. C. Grayling Susan Haack The Journal of Symbolic Logic 1985
Karel Lambert and Gordon G. Brittan Jr. An introduction to the philosophy of science Karel Lambert Paul Teller The Journal of Symbolic Logic 1982
An introduction to the general theory of algorithms Michael Machtey Nancy Lynch The Journal of Symbolic Logic 1981
An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg E. J. Lemmon R. A. Bull The Journal of Symbolic Logic 1979
Plausible reasoning. An introduction to the theory and practice of plausibilistic inference Nicholas Rescher Paul W. Humphreys The Journal of Symbolic Logic 1978
Set Theory: An Introduction to Large Cardinals Frank R. Drake Azriel Levy The Journal of Symbolic Logic 1978
Choice and chance. An introduction to inductive logic Brian Skyrms David F. Siemens The Journal of Symbolic Logic 1976
Choice and chance. An introduction to inductive logic Brian Skyrms David F Siemens Jr The Journal of Symbolic Logic 1976
Conceptual foundations of scientific thought. An introduction to the philosophy of science Marx W. Wartofsky David Miller The Journal of Symbolic Logic 1974
An introduction to modal logic. A second printing, with corrections, of XXXVI 328 G. E. Hughes and M. J. Cresswell H. B. Enderton The Journal of Symbolic Logic 1972
Abstract sets and finite ordinals. An introduction to the study of set theory G. B. Keene Ann S. Ferebee The Journal of Symbolic Logic 1971
An introduction to modal logic G. E. Hughes and M. J. Cresswell R. A. Bull The Journal of Symbolic Logic 1971
Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic Evert W. Beth Alan Rose Philosophy of Science 1966-03-01
Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902 Ralph Monroe Eaton Charles A. Baylis The Journal of Symbolic Logic 1966
Solvable Surányi subclasses: an introduction to the Herbrand theory Burton S. Dreben Peter Andrews The Journal of Symbolic Logic 1965
Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic Evert W. Beth Leon Henkin The Journal of Symbolic Logic 1965
1 Next »

Open this search with filters