Logic & Simple Proof Methods
CISC 2210 — CUNY Brooklyn College
Lecture Notes