Proof Theory Courses
Stanford University via edX Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube An Introduction to Tensorial Logic and Dialogue Categories
Hausdorff Center for Mathematics via YouTube Proof Theory for Quantified Monotone Modal Logics
Hausdorff Center for Mathematics via YouTube Ulrich Kohlenbach - Extraction of Information from Proofs
Hausdorff Center for Mathematics via YouTube Are All True Mathematical Statements Provable? - Famous Math Problems
Insights into Mathematics via YouTube First-Order Logic from a Naproche Perspective
Hausdorff Center for Mathematics via YouTube