@misc{indiciae7788b404614a,
  title = {The Epsilon Calculus and Herbrand Complexity},
  author = {Georg Moser and Richard Zach},
  year = {2005},
  doi = {10.1007/s11225-006-6610-7},
  url = {https://arxiv.org/abs/math/0510640},
  note = {Source identifier: math/0510640}
}