| The Decision Problem Solvable Classes of Quantificational Formulas | | | Author:
| Dreben, Burton
Goldfarb, Warren D. | | ISBN: | 978-0-201-02540-8 | | Publication Date: | Jan 1979 | | Publisher: | Addison-Wesley Longman, Incorporated
| | Book Format: | Hardback | | List Price: | Contact Supplier contact
|
| |