Recursive progression of intuitionistic number theories
KURATA, Reijiro
J. Math. Soc. Japan, Tome 17 (1965) no. 4, p. 140-166 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1965-04-15
Classification:  02.23 
@article{1260975392,
     author = {KURATA, Reijiro},
     title = {Recursive progression of intuitionistic number theories},
     journal = {J. Math. Soc. Japan},
     volume = {17},
     number = {4},
     year = {1965},
     pages = { 140-166},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1260975392}
}

KURATA, Reijiro. Recursive progression of intuitionistic number theories. J. Math. Soc. Japan, Tome 17 (1965) no. 4, pp.  140-166. http://gdmltest.u-ga.fr/item/1260975392/