Publié le : 1963-09-15
Classification:
@article{1183525459,
author = {Dreben, Burton and Andrews, Peter and Aanderaa, St\aa l},
title = {False lemmas in Herbrand},
journal = {Bull. Amer. Math. Soc.},
volume = {69},
number = {4},
year = {1963},
pages = { 699-706},
language = {en},
url = {http://dml.mathdoc.fr/item/1183525459}
}
Dreben, Burton; Andrews, Peter; Aanderaa, Stål. False lemmas in Herbrand. Bull. Amer. Math. Soc., Tome 69 (1963) no. 4, pp. 699-706. http://gdmltest.u-ga.fr/item/1183525459/