Logic for Computer Science (Dover Books on Computer Science): Foundations of Automatic Theorem Proving