Mathematical logic Courses
Hausdorff Center for Mathematics via YouTube Two Observations on Intuitionistic Logic and Arithmetic
Hausdorff Center for Mathematics via YouTube First Order Concatenation Theory vs First Order Number Theory
Hausdorff Center for Mathematics via YouTube Matthias Baaz - Fast Cut Elimination in Intuitionistic Logic
Hausdorff Center for Mathematics via YouTube The Absorption Law for Slow Provability
Hausdorff Center for Mathematics via YouTube Reverse Mathematics of Caristi's Fixed Point Theorem and Ekeland's Variational Principle
Hausdorff Center for Mathematics via YouTube Hugo Herbelin- Investigations into Cubical Type Theory
Hausdorff Center for Mathematics via YouTube Ulrich Kohlenbach: Extraction of Information from Proofs
Hausdorff Center for Mathematics via YouTube Ulrich Kohlenbach - Extraction of Information from Proofs
Hausdorff Center for Mathematics via YouTube Complex Analysis in O-Minimal Expansions of Real Closed Fields - Lecture 7
Fields Institute via YouTube