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:	Dordrecht ; Boston : Kluwer Academic Publishers, 2002.
Edition:	2nd ed.
Series:	Applied logic series ; v. 27.
Subjects:	Logic, Symbolic and mathematical. Type theory.