Lecture 9: Classical Logic and its Proof Theory
Channel: Neelakantan Krishnaswami
Date: 2020-10-26

This lecture introduces a proof theory for classical logic, and then begins laying out a language for it in light of the Curry-Howard correspondence.