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 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
511.1 TRU (CR) Discrete mathematics for computer scientists | 511.1 TRU (CR) Discrete mathematics for computer scientists | 511.2 MIS Theory of computer science: Automata, languages and computation. 2nd. Edition. | 511.3 AND An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 511.3 ANT Nonmonotonic reasoning | 511.3 CAU Logic, sets, and recursion | 511.3 CHE Finite structures with few types |
There are no comments for this item.