An introduction to mathematical logic and type theory : to truth through proof /

Bibliographic Details

Main Author:	Andrews, P. B. (Peter Bruce), 1937-
Format:	Book
Language:	English
Published:	Orlando : Academic Press, 1986.
Series:	Computer science and applied mathematics.
Subjects:	Logic, Symbolic and mathematical. Type theory.