First-order logic and automated theorem proving
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
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