Geodesic
Iteration of Relative Primitive Recursion
Mathematische Annalen, Tome 167 (1966), pp. 53-55.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : recursion theory, constructive mathematics 
@article{MAN_1966__167_161470,
     author = {P. AXT},
     title = {Iteration of {Relative} {Primitive} {Recursion}},
     journal = {Mathematische Annalen},
     pages = {53--55},
     publisher = {mathdoc},
     volume = {167},
     year = {1966},
     zbl = {0192.05002},
     url = {http://geodesic.mathdoc.fr/item/MAN_1966__167_161470/}
}
TY  - JOUR
AU  - P. AXT
TI  - Iteration of Relative Primitive Recursion
JO  - Mathematische Annalen
PY  - 1966
SP  - 53
EP  - 55
VL  - 167
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1966__167_161470/
ID  - MAN_1966__167_161470
ER  - 
%0 Journal Article
%A P. AXT
%T Iteration of Relative Primitive Recursion
%J Mathematische Annalen
%D 1966
%P 53-55
%V 167
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1966__167_161470/
%F MAN_1966__167_161470
P. AXT. Iteration of Relative Primitive Recursion. Mathematische Annalen, Tome 167 (1966), pp. 53-55. http://geodesic.mathdoc.fr/item/MAN_1966__167_161470/