TY  - JOUR
AU  - M.T. Partis
TI  - Commutative Partially Ordered Recursive Arithmetics.
JO  - Mathematica Scandinavica
PY  - 1963
SP  - 199
EP  - 216
VL  - 13
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1963__13_165861/
ID  - MS2_1963__13_165861
ER  -