YoVDO

Proof Theory Courses

Language, Proof and Logic
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
Page 1 Next >