Constructive order types - Crossley John N (London North-Holland, 1969)
Keywords: Mathematical logic