Lower bounds on Herbrand’s theorem (1979)

by R Statman
Venue:Proc. of the Amer. Math. Soc