CS 173 Lecture 2: Logic Proofs

21 views8 pages