An Introduction to Mathematical Logic and Type Theory: to Truth througlr Prooj (1986)

by P B Andrews