Enumerability decidability computability : an introduction to the theory of recursive functions [monographie] Titre d'origine: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen |
| Auteur(s): | Hermes, Hans (1912-2003) Herman, G. T. (Trad.) Plassmann, O. (Trad.) |
| Langue: | anglais |
| Collection: | Grundlehren der mathematischen Wissenschaften, n° 127 |
| Editeur, date d'édition: | Springer, 1965 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| Classification MSC: | 02.70 (2000) |
| Notes: | ix ; notes bibliogr. ; index pp. 240-245 ; 24 cm ; 245 p |
| Thèmes: | fonctions recursives, theoreme de godel, algorithmes, recursive functions, algorithms, computable functions |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 HER 65 | Disponible |