![](http://collegepublications.co.uk/images/mlf00036s.jpg) | Volume 98:
Classification Theory Second Edition with a new introduction
Saharon Shelah
978-1-84890-423-1
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00035s.jpg) | Volume 94:
A Lambda Calculus Satellite
Henk Barendregt and Giulio Manzonetto
978-1-84890-415-6
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00034s.jpg) | Volume 90:
Model Theory for Beginners 15 Lectures
Roman Kossak
978-1-84890-361-6
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00033s.jpg) | Volume 89:
Essays on Set Theory
Akihiro Kanamori
978-1-84890-357-9
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00032s.jpg) | Volume 81:
Factual and Plausible Reasoning
David Billington
978-1-84890-303-6
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00031s.jpg) | Volume 80:
Logics of Proofs and Justifications
Roman Kuznets and Thomas Studer
978-1-84890-168-1
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00030s.jpg) | Volume 75:
Theory of Effective Propositional Paraconsistent Logics
Arnon Avron, Ofer Arieli and Anna Zamansky
978-1-84890-270-1
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00029s.jpg) | Volume 66:
Logical Consequences Theory and Applications: An Introduction. 2nd Edition
Luis M. Augusto
978-1-84890-236-7
View Details ![](/images/_list_item_logic.png) |
|
| 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00027s.jpg) | 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00026s.jpg) | Volume 60:
Abstract Algebraic Logic An Introductory Textbook
Josep Maria Font
978-1-84890-207-7
View Details ![](/images/_list_item_logic.png) |
|
| 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00024s.jpg) | Volume 56:
Dualities for Structures of Applied Logics
Ewa Orlowska, Anna Maria Radzikowsa and Ingrid Rewitzky
978-1-84890-181-0
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00023s.jpg) | Volume 55:
All about Proofs, Proofs for All
Bruno Woltzenlogel Paleo and David Delahaye, eds
978-1-84890-166-7
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00022s.jpg) | Volume 44:
Meta-logical Investigations in Argumentation Networks
Dov Gabbay
978-1-84890-108-0
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00021s.jpg) | Volume 40:
The Lambda Calculus, its Syntax and Semantics
Henk P. Barendregt
978-1-84890-066-0
View Details ![](/images/_list_item_logic.png) |
|
| 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 ![](/images/_list_item_logic.png) |
|
| 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00018s.jpg) | Volume 30:
Logic and Philosophy Today Volume 2
Amitabha Gupta and Johan van Benthem, eds
978-1-84890-041-7
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00017s.jpg) | Volume 29:
Logic and Philosophy Today Volume 1
Amitabha Gupta and Johan van Benthem, eds
978-1-84890-040-0
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00016s.jpg) | Volume 34:
Set Theory
Kenneth Kunen
978-1-84890-050-9
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00015s.jpg) | 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00014s.jpg) | Volume 20:
Classification Theory for Abstract Elementary Classes Volume 2
Saharon Shelah
978-1-904987-72-7
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00013s.jpg) | Volume 22:
The Axiom of Choice
John L. Bell
978-1-904987-54-3
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00012s.jpg) | Volume 19:
The Foundations of Mathematics
Kenneth Kunen
978-1-904987-14-7
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00011s.jpg) | Volume 18:
Classification Theory for Abstract Elementary Classes
Saharon Shelah
978-1-904987-71-0
View Details ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00010s.jpg) | 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00009s.jpg) | 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 ![](/images/_list_item_logic.png) |
|
![](http://collegepublications.co.uk/images/mlf00008s.jpg) | Volume 8:
A New Approach to Quantum Logic
Kurt Engesser, Dov Gabbay and Daniel Lehmann
ISBN 9781904987536
View Details ![](/images/_list_item_logic.png) |
|