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