An introduction to mathematical logic and type theory: to truth through proof - Andrews, Peter B. (Orlando Academic Press, 1986)
Keywords: Logic, Symbolic And Mathematical; Type Theory