MATH 108. Introduction to Formal Mathematics. Logic of mathematical proof, set theory, relations, functions. Examples and applications from set cardinality, algebra, and analysis. Prerequisite: MATH 31, MATH 35. Graded: Graded Student. Units: 3.0.