bounds on Herbrand’s theorem (1979)

by R Statman, Lower
Venue:Proc. Amer. Math. Soc