This course is a study of logic and an introduction to various techniques of mathematical proof, including direct proof, indirect proof, and proof by induction. Students will be involved actively in the construction and exposition of proofs from multiple representations - visually, numerically, symbolically - and will present their reasoning in both oral and written form. Topics covered include sets and basic properties of the integers, rational numbers, and real numbers. Throughout the course, students will explore strategies of problem-solving and active mathematical investigation. After completing this course, a student would have an appropriate background for upper-level theoretical mathematics courses. Prerequisite: MAT-212, or Corequisite: MAT-212 with permission of the instructor.