For First-Order Logic and Automated Theorem Proving - (Texts in Computer Science) 2nd Edition by Melvin Fitting (Paperback)