An introduction to mathematical language through reading and writing mathematical proofs with a focus on set theory and logic. This is a writing intensive course with topics selected from various branches of mathematics such as discrete, number theory, modern algebra, linear algebra, and real analysis.