Episode 5: Bob Constable on CTT and Nuprl

See All 6 Episodes of "The Type Theory Podcast"