TY  - GEN
AU  - Crossley, John N.
TI  - Constructive order types
U1  - 160 
PY  - 1969///
CY  - Amsterdam
PB  - North-Holland Publishing
KW  - Constructive Order Types
KW  - Foundations Of Mathematics
ER  -