1. Hilbert, D., Bernays, P.: Grundlagen der Mathematik. Springer, Berlin (1934)
2. Hilbert, D., Bernays, P.: Grundlagen der Mathematik, vol. 2. Springer, Berlin (1939)
3. Moser, G., Zach, R.: The epsilon calculus and Herbrand complexity. Stud. Log. 82(1), 133–155 (2006)
4. Gentzen, G.: Untersuchungen über das logische Schließen I-II. Math. Z. 39(176–210), 405–431 (1934)
5. Gerhardy, P., Kohlenbach, U.: Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44(5), 633–644 (2005)