Symbolic logic, set theory, proofs based on elementary number theory, relations, and functions are covered in this course. Pre or Corequisite: MAT 170 with a C or better or by advisement.