(en) Richard Zach(en), « The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program », Synthese(en), vol. 137, nos 1-2, , p. 211-259 (arXivmath/0102189).
(en) Richard Zach(en), « The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program », Synthese(en), vol. 137, nos 1-2, , p. 211-259 (arXivmath/0102189).