Titre :	Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen
Type de document :	texte imprimé
Auteurs :	H. Hermes
Editeur :	Springer-Verlag
Année de publication :	1961
Collection :	Die Grundlehren der Mathematischen Wissenschaften num. 109
Importance :	ix - 245 p.
Langues :	Allemand
Mots-clés :	recursive functions  mathematical logic
Index. décimale :	03C Monographie

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, 1961 . - ix - 245 p.. - (Die Grundlehren der Mathematischen Wissenschaften; 109) .
Langues : Allemand

Mots-clés :	recursive functions  mathematical logic
Index. décimale :	03C Monographie