2003-11-012022-01-28 rzach The practice of finitism: Epsilon calculus and consistency proofs in Hilbert’s Program Source Synthese 137 (2003) 211-259.