The Undecidability of Pseudo Real Closed Fields.
Haran, Dan
Manuscripta mathematica, Tome 46 (1984), p. 91-108 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1984-01-01
EUDML-ID : urn:eudml:doc:155037
@article{GDZPPN002226111,
     title = {The Undecidability of Pseudo Real Closed Fields.},
     journal = {Manuscripta mathematica},
     volume = {46},
     year = {1984},
     pages = {91-108},
     zbl = {0578.12020},
     url = {http://dml.mathdoc.fr/item/GDZPPN002226111}
}
Haran, Dan. The Undecidability of Pseudo Real Closed Fields.. Manuscripta mathematica, Tome 46 (1984) pp. 91-108. http://gdmltest.u-ga.fr/item/GDZPPN002226111/