Introduction to Proof Theory II: Invertibility, Cut-Elimination, and Proof-search
Why it's on BrighterTube
Editorial review · 85% confidenceRound-16 hunt: picked; source: named-course long-video search (r16 wave 4); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.
What you'll learn
A 35-minute video from Computational Logic Group TU Dresden: “Introduction to Proof Theory II: Invertibility, Cut-Elimination, and Proof-search”.
Video by Computational Logic Group TU Dresden, played through YouTube's embedded player.