| 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 |
| Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 271) |
David Marker |
Bradd Hart |
The Bulletin of Symbolic Logic |
2003-09-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 |
| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
The Journal of Symbolic Logic |
1993 |
| An introduction |
Sybil Wolfram Philosophical logic |
Henle Lauer |
The Journal of Symbolic Logic |
1992 |
| Programming in Martin-Löf's type theory. An introduction |
Bengt Nordström, Kent Petersson, and Jan M. Smith |
John C. Mitchell |
The Journal of Symbolic Logic |
1992 |
| 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 |
| Toposes and local set theories. An introduction |
J. L. Bell |
G. C. Wraith |
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 |
| John Buridan on self-reference. Chapter Eight of Buridan's Sophismata, with a translation, an introduction, and a philosophical commentary |
G. E. Hughes |
Ignacio Angelelli |
The Journal of Symbolic Logic |
1985 |
| Quine's new foundations (an introduction) |
T. E. Forster |
Urs Oswald |
The Journal of Symbolic Logic |
1985 |
| Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner |
Selected papers of Abraham Robinson |
Martin Davis |
The Journal of Symbolic Logic |
1982 |
| Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason |
Formal Philosophy |
Jon Barwise |
The Journal of Symbolic Logic |
1982 |
| Karel Lambert and Gordon G. Brittan Jr. An introduction to the philosophy of science |
Karel Lambert |
Paul Teller |
The Journal of Symbolic Logic |
1982 |
| Modal Logic: An Introduction |
Brian F. Chellas |
David Makinson |
The Journal of Symbolic Logic |
1981 |
| 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 |
