College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Arts
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Marked States
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
History of Logic
Logic and cognitive systems
Mathematical logic and foundations
Studies in Logic and Argumentation
Logic and Bounded Rationality
Studies in Talmudic Logic
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Mathematical logic and foundations


Series edited by S. Artemov, D. Gabbay, S. Shelah, J. Siekmann, J. van Benthem


Back



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





© 2005–2024 College Publications / VFH webmaster