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

Saved in:

Bibliographic Details
Main Author:	Andrews, P. B. (Peter Bruced1937-
Format:	Unknown
Language:	English
Published:	Orlando Academic Press 1986
Series:	Computer science and applied mathematics
Subjects:	Logic, Symbolic and mathematical Type theory
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet