Ternary Recursive Arithmetic.
Mathematica Scandinavica, Tome 10 (1962), pp. 201-216
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Keywords:
mathematical logic
@article{MS2_1962__10_165804,
author = {H.E. Rose},
title = {Ternary {Recursive} {Arithmetic.}},
journal = {Mathematica Scandinavica},
pages = {201--216},
year = {1962},
volume = {10},
language = {en},
url = {http://geodesic.mathdoc.fr/item/MS2_1962__10_165804/}
}
H.E. Rose. Ternary Recursive Arithmetic.. Mathematica Scandinavica, Tome 10 (1962), pp. 201-216. http://geodesic.mathdoc.fr/item/MS2_1962__10_165804/