Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MM2_1984__49_155037, author = {Dan Haran}, title = {The {Undecidability} of {Pseudo} {Real} {Closed} {Fields.}}, journal = {Manuscripta mathematica}, pages = {91--108}, publisher = {mathdoc}, volume = {49}, year = {1984}, zbl = {0578.12020}, url = {http://geodesic.mathdoc.fr/item/MM2_1984__49_155037/} }
Dan Haran. The Undecidability of Pseudo Real Closed Fields.. Manuscripta mathematica, Tome 49 (1984), pp. 91-108. http://geodesic.mathdoc.fr/item/MM2_1984__49_155037/