Intuitionistic analysis and G\"odel's interpretation
YASUGI, Mariko
J. Math. Soc. Japan, Tome 15 (1963) no. 4, p. 101-112 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1963-04-15
Classification:  02.18 
@article{1260976720,
     author = {YASUGI, Mariko},
     title = {Intuitionistic analysis and G\"odel's interpretation},
     journal = {J. Math. Soc. Japan},
     volume = {15},
     number = {4},
     year = {1963},
     pages = { 101-112},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1260976720}
}

YASUGI, Mariko. Intuitionistic analysis and G\"odel's interpretation. J. Math. Soc. Japan, Tome 15 (1963) no. 4, pp.  101-112. http://gdmltest.u-ga.fr/item/1260976720/