Provably recursive functions in fragments of Peano arithmetic
ONO, Hiroakira ; KADOTA, Noriya
J. Math. Soc. Japan, Tome 38 (1986) no. 4, p. 721-737 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1986-10-15
Classification:  03F30,  03D20 
@article{1230394473,
     author = {ONO, Hiroakira and KADOTA, Noriya},
     title = {Provably recursive functions in fragments of Peano arithmetic},
     journal = {J. Math. Soc. Japan},
     volume = {38},
     number = {4},
     year = {1986},
     pages = { 721-737},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1230394473}
}

ONO, Hiroakira; KADOTA, Noriya. Provably recursive functions in fragments of Peano arithmetic. J. Math. Soc. Japan, Tome 38 (1986) no. 4, pp.  721-737. http://gdmltest.u-ga.fr/item/1230394473/