This course introduces the ideas and methods of logic and proofs. Topics include: set theory, logic, functions, proof types and elementary number theory. Prerequisite:L.MAT 150; one of L.MAT 160, L.CSC 115, or L.EGR 116 Co-requisite:L.MAT 160, L.CSC 115, or L.EGR 116 General Education Classification: Not Applicable