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

by Richard Zach
Citations:5 - 3 self