%0 Journal Article
%A A. Robinson
%T On Ordered Fields and Definite Functions.
%J Mathematische Annalen
%D 1955
%P 257-271
%V 130
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1955__130_160463/
%F MAN_1955__130_160463