 | Volume 98:
Classification Theory
Second Edition with a new introduction
Saharon Shelah
978-1-84890-423-1
View Details  |
|
 | Volume 94:
A Lambda Calculus Satellite
Henk Barendregt and Giulio Manzonetto
978-1-84890-415-6
View Details |
|
 | Volume 90:
Model Theory for Beginners
15 Lectures
Roman Kossak
978-1-84890-361-6
View Details |
|
 | Volume 89:
Essays on Set Theory
Akihiro Kanamori
978-1-84890-357-9
View Details |
|
 | Volume 81:
Factual and Plausible Reasoning
David Billington
978-1-84890-303-6
View Details |
|
 | Volume 80:
Logics of Proofs and Justifications
Roman Kuznets and Thomas Studer
978-1-84890-168-1
View Details |
|
 | Volume 75:
Theory of Effective Propositional Paraconsistent Logics
Arnon Avron, Ofer Arieli and Anna Zamansky
978-1-84890-270-1
View Details |
|
 | Volume 66:
Logical Consequences
Theory and Applications: An Introduction. 2nd Edition
Luis M. Augusto
978-1-84890-236-7
View Details |
|
|
| Volume 65:
Elementary Logic with Applications
A Procedural Perspective for Computer Scientists
D. M. Gabbay and O. T. Rodrigues
978-1-84890-225-1
View Details |
|
 | Volume 65:
Elementary Logic with Applications
A Procedural Perspective for Computer Scientists
D. M. Gabbay and O. T. Rodrigues
978-1-84890-225-1
View Details |
|
 | Volume 60:
Abstract Algebraic Logic
An Introductory Textbook
Josep Maria Font
978-1-84890-207-7
View Details |
|
|
| Volume 58:
Handbook of Mathematical Fuzzy Logic. Volume 3
Petr Cintula, Christian G. Fermüller and Carles Noguera
978-1-84890-193-3
View Details |
|
 | Volume 56:
Dualities for Structures of Applied Logics
Ewa Orlowska, Anna Maria Radzikowsa and Ingrid Rewitzky
978-1-84890-181-0
View Details |
|
 | Volume 55:
All about Proofs, Proofs for All
Bruno Woltzenlogel Paleo and David Delahaye, eds
978-1-84890-166-7
View Details |
|
 | Volume 44:
Meta-logical Investigations in Argumentation Networks
Dov Gabbay
978-1-84890-108-0
View Details |
|
 | Volume 40:
The Lambda Calculus, its Syntax and Semantics
Henk P. Barendregt
978-1-84890-066-0
View Details |
|
|
| Volume 38:
Handbook of Mathematical Fuzzy Logic. Volume 2
Petr Cintula, Petr Hájek and Carles Noguera, eds
978-1-84890-054-7
View Details |
|
|
| Volume 37:
Handbook of Mathematical Fuzzy Logic. Volume 1
Petr Cintula, Petr Hájek and Carles Noguera, eds
978-1-84890-039-4
View Details |
|
 | Volume 30:
Logic and Philosophy Today
Volume 2
Amitabha Gupta and Johan van Benthem, eds
978-1-84890-041-7
View Details |
|
 | Volume 29:
Logic and Philosophy Today
Volume 1
Amitabha Gupta and Johan van Benthem, eds
978-1-84890-040-0
View Details |
|
 | Volume 34:
Set Theory
Kenneth Kunen
978-1-84890-050-9
View Details |
|
 | Volume 31:
Nonmonotonic Reasoning
Essays Celebrating its 30th Anniversary
Gerhard Brewka, Victor W. Marek, and Miroslaw Truszczynski, eds.
978-1-84890-042-4
View Details |
|
 | Volume 20:
Classification Theory for Abstract Elementary Classes
Volume 2
Saharon Shelah
978-1-904987-72-7
View Details |
|
 | Volume 22:
The Axiom of Choice
John L. Bell
978-1-904987-54-3
View Details |
|
 | Volume 19:
The Foundations of Mathematics
Kenneth Kunen
978-1-904987-14-7
View Details |
|
 | Volume 18:
Classification Theory for Abstract Elementary Classes
Saharon Shelah
978-1-904987-71-0
View Details |
|
 | Volume 17:
Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on his 70th Birthday
editors: Christoph Benzmueller, Chad E. Brown, Joerg Siekman and Richard Statman
978-1-904987-70-3
View Details |
|
 | Volume 12:
Second-Order Quantifier Elimination
Foundations, Computational Aspects and Applications
Dov M. Gabbay, Renate A. Schmidt and Andrzej Szalas
ISBN 978-1-904987-56-7
View Details |
|
 | Volume 8:
A New Approach to Quantum Logic
Kurt Engesser, Dov Gabbay and Daniel Lehmann
ISBN 9781904987536
View Details |
|
