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