Geodesic
Recursion in total functionals of finite type
Compositio Mathematica, Tome 35 (1977) no. 1, pp. 3-22

Voir la notice de l'article provenant de la source Numdam

@article{CM_1977__35_1_3_0,
     author = {Feferman, Solomon},
     title = {Recursion in total functionals of finite type},
     journal = {Compositio Mathematica},
     pages = {3--22},
     publisher = {Noordhoff International Publishing},
     volume = {35},
     number = {1},
     year = {1977},
     mrnumber = {485282},
     zbl = {0365.02030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1977__35_1_3_0/}
}
TY  - JOUR
AU  - Feferman, Solomon
TI  - Recursion in total functionals of finite type
JO  - Compositio Mathematica
PY  - 1977
SP  - 3
EP  - 22
VL  - 35
IS  - 1
PB  - Noordhoff International Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1977__35_1_3_0/
LA  - en
ID  - CM_1977__35_1_3_0
ER  - 
%0 Journal Article
%A Feferman, Solomon
%T Recursion in total functionals of finite type
%J Compositio Mathematica
%D 1977
%P 3-22
%V 35
%N 1
%I Noordhoff International Publishing
%U http://geodesic.mathdoc.fr/item/CM_1977__35_1_3_0/
%G en
%F CM_1977__35_1_3_0
Feferman, Solomon. Recursion in total functionals of finite type. Compositio Mathematica, Tome 35 (1977) no. 1, pp. 3-22. http://geodesic.mathdoc.fr/item/CM_1977__35_1_3_0/