An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews. - Andrews, Peter B. (Computer science and applied mathematics, 1986)