Herbrand analyzing functions
Dreben, Burton ; Aanderaa, Stål
Bull. Amer. Math. Soc., Tome 70 (1964) no. 6, p. 697-698 / Harvested from Project Euclid
Publié le : 1964-09-14
Classification: 
@article{1183526258,
     author = {Dreben, Burton and Aanderaa, St\aa l},
     title = {Herbrand analyzing functions},
     journal = {Bull. Amer. Math. Soc.},
     volume = {70},
     number = {6},
     year = {1964},
     pages = { 697-698},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183526258}
}
Dreben, Burton; Aanderaa, Stål. Herbrand analyzing functions. Bull. Amer. Math. Soc., Tome 70 (1964) no. 6, pp.  697-698. http://gdmltest.u-ga.fr/item/1183526258/