Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations, v. 12)

by Dov Gabbay, Renate A. Schmidt, and Andrzej Szalas

0 ratings • 0 reviews • 0 shelved
Book cover for Second-order Quantifier Elimination
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1904987567
  • ISBN13 9781904987567
  • Publish Date 17 April 2008
  • Publish Status Active
  • Publish Country GB
  • Imprint College Publications
  • Format Paperback (US Trade)
  • Pages 320
  • Language English