Logic and information
Material type:
TextPublication details: Cambridge Cambridge University Press 1991 Description: xiii,308pISBN: - 0-521-41031-4
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library | 510.6 DEV (Browse shelf(Opens below)) | Available | 00043833 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
No cover image available |
|
|
|
||
| 510.57 ROG Theory of recursive functions and effective computability | 510.6 BIM Proof theory | 510.6 BIM;1 Proof theory | 510.6 DEV Logic and information | 510.6 KOH Applied proof theory | 510.6 LIV Is god a mathematician? | 510.6 MEN Introduction to mathematical logic |
There are no comments on this title.