AiML Algorithmics Cahiers de Logique et d'Épistémologie Communication, Mind and Language Computing Cuadernos de lógica, epistemología y lenguaje Filosofia Philosophy Research in Computational Semantics Studies in logic Logic and cognitive systems Mathematical logic and foundations Studies in Logic and Argumentation Systems Thinking and Systems Engineering 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

© 2005–2010 College Publications / VFH webmaster