Sciweavers

107
Voted
LCC
1994
209views Algorithms» more  LCC 1994»
15 years 1 months ago
On Herbrand's Theorem
We firstly survey several forms of Herbrand's theorem. What is commonly called "Herbrand's theorem" in many textbooks is actually a very simple form of Herbrand...
Samuel R. Buss