The epsilon calculus and Herbrand complexity (0)

by G Moser, R Zach
Venue:Studia Logica