An introduction to mathematical logic and type theory: to truth through proof. - Academic Press, 1986. - ( Computer science and applied mathematics ).