A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur O. Trads Plassman
Documents disponibles écrits par cet auteur
Affiner la recherche
Enumerability. Decidability. Computability / H. Hermes
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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15486 03C31 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible