Theory of formal systems
Material type: TextSeries: Annals of mathematics studies ; 0047Publication details: Princeton ; Princeton University Press ; 1996Description: 142ISBN: 9780691080475Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 SMU (Browse shelf (Opens below)) | Available | 60369 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.6 SMO Self-reference and model logic | 510.6 SMU Recursion Theory for Metamathematics | 510.6 SMU Diagonalization and Self-Reference | 510.6 SMU Theory of formal systems | 510.6 SOR Complexity, Logic, and Recursion Theory | 510.6 SPA Teoria dos conjuntos e espacos metricos | 510.6 SRI Course on mathematical logic |
There are no comments on this title.