Commutative Partially Ordered Recursive Arithmetics.
Mathematica Scandinavica, Tome 13 (1963), pp. 199-216
Cet article a éte moissonné depuis 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},
year = {1963},
volume = {13},
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/