Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
Why it's on BrighterTube
Advanced · Editorial review · 85% confidenceRound-12 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality ranking (tier A) passed; strict per-title check + final strict pass; oEmbed verified.
What you'll learn
A 31-minute video from Australasian Association for Logic: “Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu”.
Video by Australasian Association for Logic, played through YouTube's embedded player.