Commutative Partially Ordered Recursive Arithmetics. - Partis, M. T. (Mathematica Scandinavica, 1963)