Proof Theory: Hilbert's Program and Beyond #1578

Philosopher Friends - En podcast av Art Sun