%0 Journal Article
%A Moschovakis, Yiannis N.
%T Notation systems and recursive ordered fields
%J Compositio Mathematica
%D 1965-1966
%P 40-71
%V 17
%I Kraus Reprint
%U http://www.numdam.org/item/CM_1965-1966__17__40_0/
%G en
%F CM_1965-1966__17__40_0