A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
Affiner la recherche Interroger des sources externes
Formalized recursive functionals and formalized realizability / Stephen Cole KLEENE (1969)
Titre : Formalized recursive functionals and formalized realizability Type de document : texte imprimé Auteurs : Stephen Cole KLEENE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1969 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 89 Importance : 106 p. ISBN/ISSN/EAN : 821-81289-0 Langues : Anglais Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Formalized recursive functionals and formalized realizability [texte imprimé] / Stephen Cole KLEENE, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1969 . - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 89) .
ISSN : 821-81289-0
Langues : Anglais
Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4459 854/89 Livre Recherche Salle Disponible