College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Algorithmics
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
IfColog series in Computational Logic
Journals
Law and Society
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
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
Studies in Talmudic Logic
Systems
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 8:

A New Approach to Quantum Logic

Kurt Engesser, Dov Gabbay and Daniel Lehmann

ISBN 9781904987536

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 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 18:

Classification Theory for Abstract Elementary Classes

Saharon Shelah

978-1-904987-71-0

View Details


Volume 19:

The Foundations of Mathematics

Kenneth Kunen

978-1-904987-14-7

View Details


Volume 22:

The Axiom of Choice

John L. Bell

978-1-904987-54-3

View Details


Volume 20:

Classification Theory for Abstract Elementary Classes
Volume 2

Saharon Shelah

978-1-904987-72-2

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 34:

Set Theory

Kenneth Kunen

978-1-84890-050-9

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 30:

Logic and Philosophy Today
Volume 2

Amitabha Gupta and Johan van Benthem, eds

978-1-84890-041-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 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 40:

The Lambda Calculus, its Syntax and Semantics

Henk P. Barendregt

978-1-84890-066-0

View Details


Volume 44:

Meta-logical Investigations in Argumentation Networks

Dov Gabbay

978-1-84890-108-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 56:

Dualities for Structures of Applied Logics

Ewa Orlowska, Anna Maria Radzikowsa and Ingrid Rewitzky

978-1-84890-181-0

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 60:

Abstract Algebraic Logic
An Introductory Textbook

Josep Maria Font

978-1-84890-207-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 66:

Logical Consequences
Theory and Applications: An Introduction

Luis M. Augusto

978-1-84890-236-7

View Details





© 2005–2017 College Publications / VFH webmaster