Formal Logic Courses
Hausdorff Center for Mathematics via YouTube Teaching Mathematics to Computers - Advancements in Computational Theorem Proving
Hausdorff Center for Mathematics via YouTube Formalisation and Automation of Foundational Theories - A LogiKEy Perspective
Hausdorff Center for Mathematics via YouTube Mario Carneiro - Metamath Zero: Export Your Logic
Hausdorff Center for Mathematics via YouTube Symbolic Logic
Cabrillo College via California Community Colleges System Symbolic Logic
Chaffey College via California Community Colleges System Critical Thinking and Writing
Mt. San Antonio College via California Community Colleges System Symbolic Logic
San Diego City College via California Community Colleges System Bridging Informal and Formal Mathematical Reasoning with Neural Language Models
Neurosymbolic Programming for Science via YouTube On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024
BIMSA via YouTube