Prerequisites: Math 2254 and 2345
This course is designed to provide a transition to higher level mathematics
through a hands-on introduction to creative problem solving, formal
mathematical concepts, and proofs. Topics include logic, proofs,
induction, formal systems, and set theory.