The predicate calculus with $\epsilon$ -symbol.
MAEHARA, Shoji
J. Math. Soc. Japan, Tome 7 (1955) no. 4, p. 323-344 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1955-10-15
Classification:  02.0X 
@article{1261413486,
     author = {MAEHARA, Shoji},
     title = {The predicate calculus with $\epsilon$ -symbol.},
     journal = {J. Math. Soc. Japan},
     volume = {7},
     number = {4},
     year = {1955},
     pages = { 323-344},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1261413486}
}

MAEHARA, Shoji. The predicate calculus with $\epsilon$ -symbol.. J. Math. Soc. Japan, Tome 7 (1955) no. 4, pp.  323-344. http://gdmltest.u-ga.fr/item/1261413486/