Video 1: Classical vs intuitionistic reasoning
Video 2: Proving the law of the excluded middle
Video 3: Proving double negation elimination
Video 4: Truth and valuation functions
Video 5: Motivating the semantics of implication
Video 6: Truth tables
Video 7: Soundness and completeness