%0 Journal Article
%A Lou van den Dries
%T The Field of Reals with a Predicate for the Powers of Two.
%J Manuscripta mathematica
%D 1986
%P 187-196
%V 54
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/
%F MM2_1986__54_155108