First-order logic and automated theorem proving
Melvin Fitting
- 2nd ed.
- New York Springer c1996.
- xvi, 326 p. ill. ; 25 cm
- Graduate texts in computer science .
- Graduate texts in computer science (Springer-Verlag New York Inc.) .
Bibliografie Index
eng
0387945938 (New York : hardcover : alk. paper)
95045225
Automatic theorem proving Logic, Symbolic and mathematical