We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Second-order Quantifier Elimination

Second-order Quantifier Elimination

- Foundations, Computational Aspects and Applications

By Dov Gabbay, Renate A. Schmidt, Andrzej Szalas

part of the Studies in Logic: Mathematical Logic and Foundations series

Second-order Quantifier Elimination by Dov Gabbay
  • Language:
  • English
  • ISBN:
  • 9781904987567
  • Binding:
  • Paperback
  • Pages:
  • 320
  • Published:
  • April 17, 2008
  • Dimensions:
  • 218x162x19 mm.
  • Weight:
  • 514 g.
Delivery: 1-2 weeks
Expected delivery: June 29, 2024

About Dov Gabbay

View all books by Dov Gabbay

User ratings of Second-order Quantifier Elimination



Others also bought..
Find similar books
The book Second-order Quantifier Elimination can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.