Harvey's Foundational Adventures https://www.youtube.com/channel/UCdRdeExwKiWndBl4YOxBTEQ
Exploring the Frontiers of Incompleteness http://logic.harvard.edu/efi.php#multimedia _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
