University of Calgary
UofC Navigation

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

Authors

Powered by UNITIS. More features.
Connect with Us Twitter Facebook LinkedIn