Computability theory
Series: Student mathematical library ; 62Publication details: American mathematical society 2016 HyderabadDescription: vii,203pISBN:- 9781470425944
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library | 510.57 WEB (Browse shelf(Opens below)) | Available | 00082013 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 510.57 MOL Computations in higher types | 510.57 PET Annotated turing | 510.57 ROG Theory of recursive functions and effective computability | 510.57 WEB Computability theory | 510.6 ADI/C CL Crack the code: | 510.6 BIM Proof theory | 510.6 BIM;1 Proof theory |
There are no comments on this title.