An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
By: Andrews, P. B.
Material type: BookSeries: Applied Logic Series. 27.Publisher: Dordrecht Kluwer Academic Publisher 2002Description: xviii, 390p.ISBN: 978-1-402-00763-7.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 AND (Browse shelf) | Available | 508914 |
There are no comments for this item.