J.H.,Logic for Computer Science--Foundations of Automated Theorem (1986)

by Gallier
Venue:Proving, Harper & Row Publishers