University of Calgary

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

Powered by UNITIS. More features.