TY - JOUR AU - Alexander Prestel TI - Decidable Theories of Preordered Fields. JO - Mathematische Annalen PY - 1981 SP - 481 EP - 492 VL - 258 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1981__258_163613/ ID - MAN_1981__258_163613 ER -