Publié le : 2002-03-14
Classification:
03F30,
03B45,
03D15,
03D20,
03F45
@article{1190150032,
author = {Bellantoni, Stephen and Hofmann, Martin},
title = {A new ``feasible'' arithmetic},
journal = {J. Symbolic Logic},
volume = {67},
number = {1},
year = {2002},
pages = { 104-116},
language = {en},
url = {http://dml.mathdoc.fr/item/1190150032}
}
Bellantoni, Stephen; Hofmann, Martin. A new ``feasible'' arithmetic. J. Symbolic Logic, Tome 67 (2002) no. 1, pp. 104-116. http://gdmltest.u-ga.fr/item/1190150032/