Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic

by Richard Zach
Citations:3 - 2 self