Herbrand uniformity theorems for infinitary languages
F. NEBRES, Bienvenido
J. Math. Soc. Japan, Tome 24 (1972) no. 1, p. 1-19 / Harvested from Project Euclid
Publié le : 1972-01-15
Classification:  02B25
@article{1259849852,
     author = {F. NEBRES, Bienvenido},
     title = {Herbrand uniformity theorems for infinitary languages},
     journal = {J. Math. Soc. Japan},
     volume = {24},
     number = {1},
     year = {1972},
     pages = { 1-19},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1259849852}
}
F. NEBRES, Bienvenido. Herbrand uniformity theorems for infinitary languages. J. Math. Soc. Japan, Tome 24 (1972) no. 1, pp.  1-19. http://gdmltest.u-ga.fr/item/1259849852/