Cart
Enumerability, decidability, computability : an introduction to the theory of recursive functions.
By: Hermes, Hans.
Material type:
BookSeries: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127. Publisher: New York, Springer, ©1969Edition: 2d rev. ed.Description: x, 245 p. 24 cm.ISBN: 9783642461804.Subject(s): Recursive functions | Algorithms | Gödel's theorem | Computable functions
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
IIITD Reference | Mathematics | REF 510.01 HER-E (Browse shelf) | Not For Loan | 005096 |
Total holds: 0
Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Includes bibliographies.
There are no comments for this item.