: Students move beyond simple calculation to working with mathematical logic, set theory, and formal proofs.