Back to Essential Discrete Mathematics for Computer Science: Video Collection Essential Discrete Mathematics for Computer ScienceChapter 2 - Video 1 Chapter 2: Basic Proof Techniques - Constructive Proof