Enumerability, decidability, computability : an introduction to the theory of recursive functions.
Material type: TextLanguage: engger Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127Publication details: New York, Springer, ©1969.Edition: 2d rev. edDescription: x, 245 p. 24 cmISBN:- 9783642461804
- 510.01 HER-E
- QA248.5 .H413 1969
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Mathematics | REF 510.01 HER-E (Browse shelf(Opens below)) | Available | 005096 |
Total holds: 0
Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Includes bibliographies.
There are no comments on this title.