Fitting, Melvin
First-order logic and automated theorem proving
- 2nd ed.
- New York: Springer-Verlag, 1996
- xvi, 326 p.; ill., index: 24 cm.
- Graduate texts in computer science .
9780387945934 (hbk)
Logic, Symbolic and mathematical
Automatic theorem proving
511.3 / FIT