Logic for Computer Science---Foundations of Automated Theorem Proving (1986)

by J H Gallier
Venue:Number 5 in Computer Science and Technology Series. Harper & Row