Title: Constructive order types
Subjects: Logique symbolique et mathématique, Symbolic and mathematical Logic, Constructieve wiskunde