%0 Journal Article %A Dan Haran %T The Undecidability of Pseudo Real Closed Fields. %J Manuscripta mathematica %D 1984 %P 91-108 %V 49 %I mathdoc %U http://geodesic.mathdoc.fr/item/MM2_1984__49_155037/ %F MM2_1984__49_155037