Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MS2_1963__13_165861, author = {M.T. Partis}, title = {Commutative {Partially} {Ordered} {Recursive} {Arithmetics.}}, journal = {Mathematica Scandinavica}, pages = {199--216}, publisher = {mathdoc}, volume = {13}, year = {1963}, zbl = {0217.30302}, url = {http://geodesic.mathdoc.fr/item/MS2_1963__13_165861/} }
M.T. Partis. Commutative Partially Ordered Recursive Arithmetics.. Mathematica Scandinavica, Tome 13 (1963), pp. 199-216. http://geodesic.mathdoc.fr/item/MS2_1963__13_165861/