Mathematical logic Courses
Fields Institute via YouTube Complex Analysis in O-Minimal Expansions of Real Closed Fields - Lecture 3
Fields Institute via YouTube Complex Analysis in O-Minimal Expansions of Real Closed Fields - Lecture 1
Fields Institute via YouTube Transseries, Model Theory, and Hardy Fields - Lecture 1
Fields Institute via YouTube Topics in Applied Model Theory - Lecture 12
Fields Institute via YouTube Logic and Sets
CEC via Swayam Tracially Complete C*-Algebras
Fields Institute via YouTube Connections Between Boolean-Valued Logic and Ergodic Structure Theory
Fields Institute via YouTube On the Existence of Algebraically Natural Proofs
IEEE via YouTube The Truth of a Procedure in Programming
CppNow via YouTube