TY  - RPRT
TI  - The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
AU  - Richard Zach
PY  - 2001
UR  - https://arxiv.org/abs/math/0102189
ID  - math/0102189
ER  -