Logic Courses
Numberphile via YouTube A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
IEEE via YouTube Games: From Logic and Automata to Algorithms
Simons Institute via YouTube Model Theory: From Logic to Geometric Stability Theory and O-Minimality II
IMSA via YouTube Constructive Mathematics in Univalent Type Theory
Hausdorff Center for Mathematics via YouTube An Introduction to Tensorial Logic and Dialogue Categories
Hausdorff Center for Mathematics via YouTube Cyclic Modal Proofs
Hausdorff Center for Mathematics via YouTube What Makes a Proof Acceptable?
Fields Institute via YouTube The Mathematics of Love
TED via YouTube The Future of Education - How AI Revolutionises the Classroom
TEDx via YouTube