A normalization theorem in formal theories of natural numbers
HINATA, Shigeru
J. Math. Soc. Japan, Tome 29 (1977) no. 4, p. 327-340 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-04-15
Classification:  02D99 
@article{1240433450,
     author = {HINATA, Shigeru},
     title = {A normalization theorem in formal theories of natural numbers},
     journal = {J. Math. Soc. Japan},
     volume = {29},
     number = {4},
     year = {1977},
     pages = { 327-340},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1240433450}
}

HINATA, Shigeru. A normalization theorem in formal theories of natural numbers. J. Math. Soc. Japan, Tome 29 (1977) no. 4, pp.  327-340. http://gdmltest.u-ga.fr/item/1240433450/