Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
By: Soare, Robert I.
Material type:
BookSeries: Perspecties in mathematical logic.Publisher: Berlin: Springer-Verlag, 1987Description: xviii, 437 p.; ill.: 24 cm.ISBN: 3540152997 .Subject(s): Computable functions | Recursively enumerable setsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 SOA (Browse shelf) | Available | 017896 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 SMI Introduction to Godel's Theorems | 511.3 SMU Godel's incompleteness theorems | 511.3 SMU First-order logic | 511.3 SOA Recursively enumerable sets and degrees : a study of computable functions and computably generated sets | 511.3 SRI Textbook on automata theory | 511.3 STI Reverse mathematics proofs from the inside out | 511.3 STI Reverse mathematics : proofs from the inside out |
There are no comments for this item.