| Introduction to Proofs and Proof Strategies |
Shay Fuchs |
Wesley Calvert |
The Bulletin of Symbolic Logic |
2025-06-00 |
| Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136 Valerio Capraro Martino Lupini |
Valerio Capraro |
Lewis Bowen |
The Bulletin of Symbolic Logic |
2016-09-00 |
| 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 |
| Introduction to bisimulation and coinduction |
Davide Sangiorgi |
Julian Gutierrez |
The Bulletin of Symbolic Logic |
2013-03-00 |
| Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174 |
Stevo Todorcevic |
Claude Laflamme |
The Bulletin of Symbolic Logic |
2011-06-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 |
| Introduction to Boolean algebras. Undergraduate Texts in Mathematics Steven Givant Paul Halmos |
Steven Givant |
Natasha Dobrinen |
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 |
| A mathematical introduction to logic |
Herbert B Enderton |
Natasha Dobrinen |
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 |
| Introduction to the theory of computation |
Michael Sipser |
Lance Fortnow |
The Journal of Symbolic Logic |
1999 |
| An introduction to default logic |
Philippe Besnard |
V. Wiktor Marek |
The Journal of Symbolic Logic |
1998 |
| Introduction to the model theory of fields |
David Marker |
Zoé Chatzidakis |
The Journal of Symbolic Logic |
1998 |
| A new introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
Michael Zakharyaschev |
The Journal of Symbolic Logic |
1997 |
| 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 |
| Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica |
L. T. F. Gamut (pseudonym) |
Godehard Link |
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 |
| A short introduction to modal logic |
Grigori Mints |
Billy Joe Lucas |
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 |
| Philosophical Introduction to Set Theory |
Stephen Pollard |
Penelope Maddy |
The Journal of Symbolic Logic |
1991 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
The Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1991 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Hector-Neri Castañeda |
The Journal of Symbolic Logic |
1991 |
| An introduction to independence for analysts |
H G Dales |
Thomas Jech |
The Journal of Symbolic Logic |
1990 |
| Introduction to Medieval Logic |
Alexander Broadie |
Norman Kretzmann |
The Journal of Symbolic Logic |
1990 |
| Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631 |
Elliott Mendelson |
John Corcoran |
The Journal of Symbolic Logic |
1989 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1988 |
| Introduction to combinators and λ-calculus |
J. Roger Hindley and Jonathan P. Seldin |
J. L. Krivine |
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 |
| Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku |
Abram Aronovich Stolyar |
Diane Resek |
The Journal of Symbolic Logic |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
