Geodesic
Notation systems and recursive ordered fields
Compositio Mathematica, Tome 17 (1965-1966), pp. 40-71

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

@article{CM_1965-1966__17__40_0,
     author = {Moschovakis, Yiannis N.},
     title = {Notation systems and recursive ordered fields},
     journal = {Compositio Mathematica},
     pages = {40--71},
     publisher = {Kraus Reprint},
     volume = {17},
     year = {1965-1966},
     mrnumber = {181569},
     zbl = {0143.01303},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1965-1966__17__40_0/}
}
TY  - JOUR
AU  - Moschovakis, Yiannis N.
TI  - Notation systems and recursive ordered fields
JO  - Compositio Mathematica
PY  - 1965-1966
SP  - 40
EP  - 71
VL  - 17
PB  - Kraus Reprint
UR  - http://geodesic.mathdoc.fr/item/CM_1965-1966__17__40_0/
LA  - en
ID  - CM_1965-1966__17__40_0
ER  - 
%0 Journal Article
%A Moschovakis, Yiannis N.
%T Notation systems and recursive ordered fields
%J Compositio Mathematica
%D 1965-1966
%P 40-71
%V 17
%I Kraus Reprint
%U http://geodesic.mathdoc.fr/item/CM_1965-1966__17__40_0/
%G en
%F CM_1965-1966__17__40_0
Moschovakis, Yiannis N. Notation systems and recursive ordered fields. Compositio Mathematica, Tome 17 (1965-1966), pp. 40-71. http://geodesic.mathdoc.fr/item/CM_1965-1966__17__40_0/