filippo bonchi: "diagrammatic algebra of first order logic" Published Streamed 7 months ago • 1.5K plays • Length 1:06:21 Download video MP4 Download video MP3 Similar videos 6:03:24 category theory for beginners: topos theory essentials 5:53 homotopy type theory: vladimir voevodsky - computerphile 14:21 formal logic - denis bonnay 36:18 david roberts class forcing and topos theory
