# The practice of finitism: Epsilon calculus and consistency proofs in Hilbert’s Program

## Source

Synthese 137 (2003) 211-259.