Theory of recursive functions and effective computability
Publication details: New York McGraw-Hill 1967Edition: Description: xix, 482 p. Bibliog.p. 459 - 468ISBN:- 510.57
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 510.57 ROG (Browse shelf(Opens below)) | Available | 00005573 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
510.57 EIL Recursiveness | 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 |
There are no comments on this title.