An investigation on the logical structure of mathematics. IX. Deductions in the natural-number theory $T\sb1\,(N)$
Kuroda, Sigekatu
Osaka Math. J., Tome 11 (1959) no. 1, p. 7-42 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1959-05-15
Classification:  02.72 
@article{1200689540,
     author = {Kuroda, Sigekatu},
     title = {An investigation on the logical structure of mathematics. IX. Deductions in the natural-number theory $T\sb1\,(N)$},
     journal = {Osaka Math. J.},
     volume = {11},
     number = {1},
     year = {1959},
     pages = { 7-42},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1200689540}
}

Kuroda, Sigekatu. An investigation on the logical structure of mathematics. IX. Deductions in the natural-number theory $T\sb1\,(N)$. Osaka Math. J., Tome 11 (1959) no. 1, pp.  7-42. http://gdmltest.u-ga.fr/item/1200689540/