An Introduction To Mathematical Logic and Type Theory: To Truth Through Proof (1986)

by P B Andrews