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
Filosofia
Philosophy
Research in Computational Semantics
Studies in logic
Mathematical logic and foundations
Logic and cognitive systems
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





© 2005–2008 College Publications / VFH webmaster