Proof Theory Foundations, Lecture 1
What is Logic? #20: First Steps in Proof Theory
Proof Theory Foundations, Lecture 2
Proof Theory Foundations, Lecture 3
Proof Theory: Logic's Foundation and Computing's Blueprint
Intro To Math Proofs (Full Course)
Proof Theory Foundations, Lecture 4
Logic & Foundations with Haskell: Logic 4 :: Informal Proof Theory
Michael Rathjen: Proof Theory: From Arithmetic to Set Theory
An Introduction to Mathematical Proofs
What is Logic? #63: The Basics of Propositional Proof Theory
Proofs as Objects: The Second Face of Proof Theory
Proof Theory: From Arithmetic to Set theory
The Architecture of Truth: A Journey Through Proof Theory
Proof Theory: From the Foundations of Mathematics to Applications in Core Mathematics
Wilfried Sieg (Pittsburgh) – Methodological frames: Mathematical structuralism and proof theory
Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse | #02 aboutlogic
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
Proof Theory: From Crisis to Computation
Introduction to Proof Theory I: Sequent Calculus
