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

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.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xv, 304 p.
ISBN:0120585359 (alk. paper)
0120585367 (pbk. : alk. paper)

Similar Items