Focusing on the formal development of mathematics, this text teaches students how to read and understand, write and construct mathematical proofs. It emphasizes active learning, and uses elementary number theory and congruence arithmetic throughout. This text assumes students have taken one semester of calculus.