MATH 230 Foundations of Higher Mathematics

A survey of the concepts of symbolic logic and set theory, together with an introduction to proof techniques. This course is designed to prepare the student for the study of abstract mathematics.