ENUMERABILITY DECIDABILITY COMPUTABILITY : an introduction to the theory of recursive functions
By: Hermes, Hans.
Material type: BookPublisher: New York Springer-Verlag 1969Edition: 2nd.DDC classification: 164 | H42en2Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 164 H42EN2 (Browse shelf) | Book Request | Available | A63566 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
164 H213E EINFUHRUNG IN DIE FORMALE LOGIK | 164 H235c Communication | 164 H42en Enumerability decidability computability | 164 H42EN2 ENUMERABILITY DECIDABILITY COMPUTABILITY | 164 H54G4 GRUNDZUGE DER THEORETISCHEN LOGIK | 164 IN8L Logic, methodology and philosophy of science III | 164 IN8L Logic, language and probability |
There are no comments for this item.