TY  - RPRT
TI  - The Epsilon Calculus and Herbrand Complexity
AU  - Georg Moser
AU  - Richard Zach
PY  - 2005
DO  - 10.1007/s11225-006-6610-7
UR  - https://arxiv.org/abs/math/0510640
ID  - math/0510640
ER  -