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

Question and answer session