Mathematical proofs a transition to advanced mathematics - Chartrand, Gary (Addison-Wesley, 2003)