Source
Journal of Philosophical Logic 33 (2004) 155–164.
Month: April 2004
Hilbert’s “Verunglückter Beweis,” the first epsilon theorem, and consistency proofs
Source
History and Philosophy of Logic 25 (2004) 79–94.
Journal of Philosophical Logic 33 (2004) 155–164.
History and Philosophy of Logic 25 (2004) 79–94.