Commutative Partially Ordered Recursive Arithmetics.
Partis, M.T.
Mathematica Scandinavica, Tome 13 (1963), p. 199-216 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1963-01-01
EUDML-ID : urn:eudml:doc:165861
@article{GDZPPN002347482,
     title = {Commutative Partially Ordered Recursive Arithmetics.},
     journal = {Mathematica Scandinavica},
     volume = {13},
     year = {1963},
     pages = {199-216},
     zbl = {0217.30302},
     url = {http://dml.mathdoc.fr/item/GDZPPN002347482}
}
Partis, M.T. Commutative Partially Ordered Recursive Arithmetics.. Mathematica Scandinavica, Tome 13 (1963) pp. 199-216. http://gdmltest.u-ga.fr/item/GDZPPN002347482/