The epsilon calculus and Herbrand complexity
scientific article