Enumerability decidability computability : an introduction to the theory of recursive functions
By: Hermes, Hans.
Contributor(s): Herman, G. T. [Tr.] | Plassmann, O. [Tr.].
Material type: BookPublisher: Berlin Springer Verlag 1965Description: 245p.Subject(s): Computability | Enumerability decidabilityDDC classification: 164 | H42enItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 164 H42en (Browse shelf) | Book Request | Available | 34362 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
164 H152L THE LOGIC OF NONSENSE | 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 |
There are no comments for this item.