Proof Theory: Hilbert's Program and Beyond #1578

Philosopher Friends - Un pódcast de Art Sun