Alonzo Church: Logic, Computability, and Paradox #1703

Philosopher Friends - A podcast by Art Sun