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