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  -