The Undecidability of Pseudo Real Closed Fields.
Manuscripta mathematica, Tome 49 (1984), pp. 91-108
Cet article a éte moissonné depuis 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},
year = {1984},
volume = {49},
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/