@article{GDZPPN002226839, title = {The Field of Reals with a Predicate for the Powers of Two.}, journal = {Manuscripta mathematica}, volume = {55}, year = {1986}, pages = {187-196}, zbl = {0631.03020}, url = {http://dml.mathdoc.fr/item/GDZPPN002226839} }
Dries, Lou van den. The Field of Reals with a Predicate for the Powers of Two.. Manuscripta mathematica, Tome 55 (1986) pp. 187-196. http://gdmltest.u-ga.fr/item/GDZPPN002226839/