CiteSeerX — Related by cluster: The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program (2001)

Cached

Download Links

by Richard Zach

Citations:

5 - 3 self

Document Versions

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program –Richard Zach — 2001

The practice of finitism. Epsilon calculus and consistency proofs in Hilbert’s program’, Synthese 137:211–259 –Richard Zach — 2003

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program –Richard Zach Zach — 2003