Constructive order types - Crossley, John N. (Studies in logic and the foundations of mathematics, 1969)