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

by Peter B Andrews