Proof Theory
Material type:
TextPublication details: New York Dover Publications 2013Edition: 2/eDescription: x, 490pISBN: - 9780486490731
- 511.36 Tak
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
Books
|
IIT Goa Central Library | Technical | 511.36/Tak (Browse shelf(Opens below)) | 1 | Available | RBPPL78149/19-20|| 10-01-20|| 25.00%|| USD 24.95 | 3303 |
Total holds: 0
Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)
| 511.352/Aro Computational Complexity: A Modern Approach | 511.352/BOO Computability and Logic | 511.360/Gal Logic for Computer Science: Foundations of Automatic Theorem Proving | 511.36/Tak Proof Theory | 511.42/MOO Introduction to interval analysis / | 511.43/Bev Data Reduction and Error Analysis for the Physical Sciences | 511.5/Bol Modern Graph Theory |