Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

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

by Andrews, Peter Bruce
Normal View ISBD View
Series: Computer science and applied mathematics Published by : Academic Press, (Orlando : ) Physical details: XV, 304 p. ; 24 cm. Subject(s): Logic, Symbolic and mathematical | Type theory Year : 1986
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica QA9.A638 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.