## G.Moser R.Zach The Epsilon Calculus and (2005)

by
Herbrand Complexity

by
Herbrand Complexity