%0 Journal Article
%A M.T. Partis
%T Commutative Partially Ordered Recursive Arithmetics.
%J Mathematica Scandinavica
%D 1963
%P 199-216
%V 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1963__13_165861/
%F MS2_1963__13_165861