Fitting, Melvin

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

QA76.9.A96

511.3