The practice of finitism

epsilon calculus and consistency proofs in Hilbert's program

Richard Zach

pp. 211-259


This document is unfortunately not available for download at the moment.

Not implemented yet !