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