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

by P Andrews