Commutative Partially Ordered Recursive Arithmetics. - Partis, M. T. (MATHEMATICA SCANDINAVICA, 1963)