Hilbert’s “Verunglückter Beweis”, the first epsilon theorem, and consisteny proofs’, History and Philosophy of Logic 25:79–94 (2004)

by Richard Zach
Citations:3 - 2 self