The Herbrand Symposium: (Marseilles July 16-July 24 1981)
Stern, J.
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 1210-1232 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1983-12-14
Classification:  
@article{1183741433,
     author = {Stern, J.},
     title = {The Herbrand Symposium: (Marseilles July 16-July 24 1981)},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 1210-1232},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741433}
}

Stern, J. The Herbrand Symposium: (Marseilles July 16-July 24 1981). J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  1210-1232. http://gdmltest.u-ga.fr/item/1183741433/