Logic for Computer Science: Foundations of Automatic Theorem-Proving (Harper & Row Computer Science and Technology Series)