Computability theory
Material type: TextLanguage: English Publication details: CRC Press, Taylor And Francis Group 2004Description: ix, 409pISBN:- 9781584882379 (PB)
- 004.015113 COO(COM)
Item type | Current library | Call number | Copy number | Status | Barcode | |
---|---|---|---|---|---|---|
Reference | Central Library | 004.015113 COO(COM) (Browse shelf(Opens below)) | 1 | Not for loan | 9066 | |
Books | Central Library | 004.015113 COO(COM) (Browse shelf(Opens below)) | 2 | Available | 9067 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
004.015113 BOR(PRO) Proof and disproof in formal logic: an introduction for programme | 004.015113 CON(LOG) Logic and discrete mathematics : a concise introduction | 004.015113 COO(COM) Computability theory | 004.015113 COO(COM) Computability theory | 004.015113 CRE(COM) Complexity classifications of Boolean constraint satisfaction problems | 004.015113 CUN(LOG) A logical introduction to proof | 004.015113 DOW(ALG) Algorithmic randomness and complexity |
MD/1/0600/09-10/13-10-09
There are no comments on this title.
Log in to your account to post a comment.