Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in dieTheorie der rekursiven Funktionen [monographie] |
| Auteur(s): | Hermes, Hans (1912-2003) |
| Langue: | allemand |
| Collection: | Grundlehren der mathematischen Wissenschaften, n° 109 |
| Editeur, date d'édition: | Springer, 1961 |
| Ville(s) d'édition: | Berlin (DE), Göttingen (DE), Heidelberg (DE) |
| ISBN: | 0-387-08869-5 |
| ISSN: | 0072-7830 |
| Classification MSC: | 02.70 (2000) |
| Notes: | ix ; mit 3 abbildungen ; notes bibliogr. ; index pp. 241-246 ; 23 cm ; 246 p. |
| Thèmes: | theoreme de godel, fonctions recursives, algorithmes, recursive functions, fonctions calculables, comptable funtions |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 HER 61 | Disponible |