A formal system of first-order predicate calculus with infinitely long expressions
MAEHARA, Shoji ; TAKEUTI, Gaisi
J. Math. Soc. Japan, Tome 13 (1961) no. 4, p. 357-370 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1961-10-15
Classification:  02.35 
@article{1261062620,
     author = {MAEHARA, Shoji and TAKEUTI, Gaisi},
     title = {A formal system of first-order predicate calculus with infinitely long expressions},
     journal = {J. Math. Soc. Japan},
     volume = {13},
     number = {4},
     year = {1961},
     pages = { 357-370},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1261062620}
}

MAEHARA, Shoji; TAKEUTI, Gaisi. A formal system of first-order predicate calculus with infinitely long expressions. J. Math. Soc. Japan, Tome 13 (1961) no. 4, pp.  357-370. http://gdmltest.u-ga.fr/item/1261062620/