Titre :	Enumerability. Decidability. Computability : an introduction to the theory of recursive functions
Type de document :	texte imprimé
Auteurs :	H. Hermes ; O. Trads Plassman ; Gabor T. Herman
Editeur :	Springer-Verlag
Année de publication :	1965
Collection :	Die Grundlehren der Mathematischen Wissenschaften num. 127
Importance :	x - 245 p.
Langues :	Anglais Langues originales : Allemand
Mots-clés :	recursive functions  mathematical logic
Index. décimale :	03C Monographie

Enumerability. Decidability. Computability : an introduction to the theory of recursive functions [texte imprimé] / H. Hermes ; O. Trads Plassman ; Gabor T. Herman . - [S.l.] : Springer-Verlag, 1965 . - x - 245 p. . - (Die Grundlehren der Mathematischen Wissenschaften; 127) .
Langues : Anglais Langues originales : Allemand

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