TY  - JOUR
AU  - Lombardi, Henri
AU  - Roy, Marie-France
TI  - Théorie constructive élémentaire des corps ordonnés
JO  - Publications mathématiques de la Faculté des sciences de Besançon. Théorie des nombres
PY  - 1991
SP  - 1
EP  - 23
PB  - Université de Besançon
UR  - http://archive.numdam.org/articles/10.5802/pmb.a-64/
DO  - 10.5802/pmb.a-64
LA  - fr
ID  - PMB_1991____A3_0
ER  -