Geodesic
Constructive order types, III.
Archiv für mathematische Logik und Grundlagenforschung, Tome 9 (1971), pp. 112-116.

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

Mots-clés : recursion theory, constructive mathematics 
@article{AMLG_1971__9_137792,
     author = {John N. Crossley and P.H.G. Aczel},
     title = {Constructive order types, {III.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {112--116},
     publisher = {mathdoc},
     volume = {9},
     year = {1971},
     zbl = {0199.02901},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1971__9_137792/}
}
TY  - JOUR
AU  - John N. Crossley
AU  - P.H.G. Aczel
TI  - Constructive order types, III.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1971
SP  - 112
EP  - 116
VL  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__9_137792/
ID  - AMLG_1971__9_137792
ER  - 
%0 Journal Article
%A John N. Crossley
%A P.H.G. Aczel
%T Constructive order types, III.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1971
%P 112-116
%V 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1971__9_137792/
%F AMLG_1971__9_137792
John N. Crossley; P.H.G. Aczel. Constructive order types, III.. Archiv für mathematische Logik und Grundlagenforschung, Tome 9 (1971), pp. 112-116. http://geodesic.mathdoc.fr/item/AMLG_1971__9_137792/