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

by Andrews PD
Venue:Proof. Computer Science and Applied Mathematics Series