This is a second year course designed for students majoring in Mathematics and Science. The emphasis is on understanding different proof techniques in mathematics and writing correct and clear proofs.