Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic
by
Richard Zach
| Citations: | 3 - 2 self |

