Proof Theory: Hilbert's Program and Beyond #1578

Philosopher Friends - A podcast by Art Sun