000 00512n a2200157ua 4500
040 _aP K Kelkar Library, IIT Kanpur
082 _a160
_bSt9
100 _aCrossley, John N.
245 0 _aConstructive order types
_cJohn N. Crossley
260 _aAmsterdam
_bNorth-Holland Publishing
_c1969
300 _a222p
440 _aStudies In Logic And The Foundations Of Mathematics / Edited By A. Heyting
_v
650 _aConstructive Order Types
650 _aFoundations Of Mathematics
997 _aA6194 C
999 _c458541
_d458541