Mathematical logic Courses
Hausdorff Center for Mathematics via YouTube Mechanising Gödel-Löb Provability Logic in HOL Light
Hausdorff Center for Mathematics via YouTube Algebraic Theorems in PVS
Hausdorff Center for Mathematics via YouTube Gauss Realisability Conditions - From Error Correction to Formalization
Hausdorff Center for Mathematics via YouTube Branch Cuts and Formal Methods in Mathematics
Hausdorff Center for Mathematics via YouTube From 100 to 1000+ Theorems - Advancements in Mathematical Proof Verification
Hausdorff Center for Mathematics via YouTube Isabelle as System Platform for the Archive of Formal Proofs
Hausdorff Center for Mathematics via YouTube Inductive Definitions, Predicativity, and the Mahlo Universe
Hausdorff Center for Mathematics via YouTube The Gödel Translation: History and New Directions
Schmid College, Chapman University via YouTube Frege's Definition of Real Numbers is Consistent
Schmid College, Chapman University via YouTube