First-Order Logic and Automated Theorem Proving, second edition (1996)

by Melvin Fitting
Venue:Graduate Texts in Computer Science