@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/