Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MM2_1986__54_155108, author = {Lou van den Dries}, title = {The {Field} of {Reals} with a {Predicate} for the {Powers} of {Two.}}, journal = {Manuscripta mathematica}, pages = {187--196}, publisher = {mathdoc}, volume = {54}, year = {1986}, zbl = {0631.03020}, url = {http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/} }
Lou van den Dries. The Field of Reals with a Predicate for the Powers of Two.. Manuscripta mathematica, Tome 54 (1986), pp. 187-196. http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/