| year of publication | ISBN | author(s) | title |
|---|
| 2005 | 978-1-904987-00-0 | David Makinson | Bridges from Classical to Nonmonotonic Logic (Texts in Computing S.) |
| '' | 978-1-904987-04-8 | Vincent F. Hendricks | Logical Lyrics: From Philosophy to Poetics |
| 2004 | 978-1-904987-06-2 | Kosta Dosen · Zoran Petric | Proof-Theoretical Coherence (Studies in Logic (logic & Cognitive Systems)) |
| 2005 | 978-1-904987-08-6 | Jaakko Hintikka | Knowledge and Belief: An Introduction to the Logic of the Two Notions |
| '' | 978-1-904987-09-3 | Vincent F. Hendricks | 500CC Computer Citations |
| 2009 | 978-1-904987-14-7 | Kenneth Kunen | The Foundations of Mathematics (Logic S.) |
| 2006 | 978-1-904987-17-8 | Patrick Blackburn · Johan Bos · Kristina Striegnitz | Learn PROLOG Now! (Texts in Computing) |
| 2005 | 978-1-904987-21-5 | P. Hajek · L. Valdes-Villanueva · D. Westerstahl | Logic, Methodology and Philosophy of Science |
| '' | 978-1-904987-22-2 | R. Schmidt · I. Pratt-Hartmann · M. Reynolds | Advances in Modal Logic, Volume 5 (CSLI Lecture Notes (Paperback)) |
| 2006 | 978-1-904987-23-9 | L. Magnani | Model Based Reasoning in Science and Engineering (Logic S.) |
| 2005 | 978-1-904987-24-6 | L. Magnani · R. Dossena | Computing, Philosophy and Cognition (Texts in Philosophy S.) |
| 2006 | 978-1-904987-25-3 | S. Artemov · H. Barringer · A. S. d'Avila Garcez · L. C. Lamb · J. Woods | We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1 |
| 2005 | 978-1-904987-26-0 | S Artemov · H. Barringer · A. S. d'Avila Garcez · L. C. Lamb · J. Woods | We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2 |
| 2007 | 978-1-904987-28-4 | B. Loewe | Algebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner Zum 65. Geburtstag (Studies in Logic (logic & Cognitive Systems)) |
| '' | 978-1-904987-34-5 | M. Fitting | Incompleteness in the Land of Sets (Studies in Logic) |
| 2007 | 978-1-904987-39-0 | D. M. Gabbay | Logic for Artificial Intelligence and Information Technology (Texts in Computer Science) |
| '' | 978-1-904987-43-7 | Francesco Berto | How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency (Studies in Logic) |
| '' | 978-1-904987-52-9 | P. Blackburn · J. Bos · K. Striegnitz | PROLOG, Tout de Suite! (Cahiers) |
| '' | 978-1-904987-53-6 | K. Engesser · D. M. Gabbay · D. Lehmann | A New Approach to Quantum Logic (Studies in Logic) |
| 2009 | 978-1-904987-54-3 | John L. Bell · J. L. Bell | The Axiom of Choice (Studies in Logic Series) |
| 2008 | 978-1-904987-56-7 | D. M. Gabbay · R. Schmidt · A. Szalas | Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations) |
| 2009 | 978-1-904987-71-0 | Saharon Shelah | Classification Theory for Abstract Elementary Classes (Studies in Logic Series) |
| '' | 978-1-904987-72-7 | Saharon Shelah | Classification Theory for Abstract Elementary Classes: Volume 2 (Studies in Logic Series) |
| 2007 | 978-1-904987-73-4 | J. Y. Beziau · W. Carnielli · D. M. Gabbay | Handbook of Paraconsistency (Studies in Logic (logic & Cognitive Systems)) |
| 2007 | 978-1-904987-75-8 | S. Bold · B. Loewe · T. Rasch | Foundations of the Formal Sciences V: Infinite Games: Infinite Games v. 5 (Studies in Logic) |
| 2008 | 978-1-904987-83-3 | Daniel Zingaro | Invariants: A Generative Approach to Programming: A Generative Appraoch to Programming (Texts in Computer Science) |
| '' | 978-1-904987-88-8 | A. Sernadas · C. Sernadas | Foundations of Logic and Theory of Computation (Texts in Computing) |
| '' | 978-1-904987-89-5 | P. Gardenfors | Knowledge in Flux: Modeling the Dynamics of Epistemic States (Studies in Logic: Mathematical Logic and Foundations) |
| '' | 978-1-904987-96-3 | Robin Cooper · Ruth Kempson | Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution (Communication, Mind, and Language) |