College Publications logo   College Publications title  
Homepage Contact page
   
 
AiML
Algorithmics
Cahiers de Logique et d'Épistémologie
Communication, Mind and Language
Computing
Cuadernos de lógica, epistemología y lenguaje
Dialogues and the Games of Logic
Filosofia
IfColog series in Computational Logic
Neural Computing and Artificial Intelligence
Philosophy
Research in Computational Semantics
Studies in Logic
Logic and cognitive systems
Mathematical logic and foundations
Studies in Logic and Argumentation
Studies in Talmudic Logic
Systems Thinking and Systems Engineering
Texts in Mathematics
Tributes
Other
Information for authors
About us
 



Mathematical logic and foundations


Back

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

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





© 2005–2012 College Publications / VFH webmaster