TY  - JOUR
AU  - Henri Lombardi
AU  - Marie-France Roy
TI  - Théorie constructive élémentaire des corps ordonnés
JO  - Publications mathématiques de Besançon. Algèbre et théorie des nombres
PY  - 1991
SP  - 1
EP  - 23
PB  - Presses universitaires de Franche-Comté
UR  - https://pmb.centre-mersenne.org/articles/10.5802/pmb.a-64/
DO  - 10.5802/pmb.a-64
LA  - fr
ID  - PMB_1991____A3_0
ER  -