An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.

Saved in:

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.

Holdings details from Science Library
Call Number:	QA9 .A638 1986
Status:	Available

Similar Items