On predicates with constructive infinitely long expressions
TAKEUTI, Gaisi ; KINO, Akiko
J. Math. Soc. Japan, Tome 15 (1963) no. 4, p. 176-190 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1963-04-15
Classification:  02.35,  02.18 
@article{1260976726,
     author = {TAKEUTI, Gaisi and KINO, Akiko},
     title = {On predicates with constructive infinitely long expressions},
     journal = {J. Math. Soc. Japan},
     volume = {15},
     number = {4},
     year = {1963},
     pages = { 176-190},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1260976726}
}

TAKEUTI, Gaisi; KINO, Akiko. On predicates with constructive infinitely long expressions. J. Math. Soc. Japan, Tome 15 (1963) no. 4, pp.  176-190. http://gdmltest.u-ga.fr/item/1260976726/