An introduction to mathematical logic and type theory: to truth through proof (1986)

by Peter B Andrews