MAT-2210-NO01 – IS: Sets, Proof & Logic