First-order logic and automated theorem proving.
Fitting, Melvin.
First-order logic and automated theorem proving. by Melvin Fitting. - New York S-V 1990 - xiii, 242p - Texts and Monographs in computer science. .
0387972331
511.3 / N901
First-order logic and automated theorem proving. by Melvin Fitting. - New York S-V 1990 - xiii, 242p - Texts and Monographs in computer science. .
0387972331
511.3 / N901