Recursion Theory for Metamathematics
Material type:
TextSeries: Oxford Logic Guides, 22Publication details: Oxford ; Oxford University University ; 1993Description: 163pISBN: 0 19 508232 XSubject(s): Recursion Theory
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 510.6 SMU (Browse shelf (Opens below)) | Available | 29786 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
|
|
||
| 510.6 SMI Introduction to formal logic | 510.6 SMI Introduction to Godel's theorems | 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 |
There are no comments on this title.