Mathematical proofs. A transition to advanced mathematics - Chartrand, Gary (Higher mathematics, 2003)