History

for article: Herbrand's theorem