Titre :	Formalized recursive functionals and formalized realizability
Type de document :	texte imprimé
Auteurs :	Kleene, S.C.
Editeur :	Providence, R.I. : American Mathematical Society
Année de publication :	1969
Collection :	Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 89
Importance :	106 p.
Langues :	Anglais
Mots-clés :	constructive mathematics  recursion theory
Index. décimale :	Mem

Formalized recursive functionals and formalized realizability [texte imprimé] / Kleene, S.C. . - Providence, R.I. : American Mathematical Society, 1969 . - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 89) .
Langues : Anglais

Mots-clés :	constructive mathematics  recursion theory
Index. décimale :	Mem