Introduction to mathematical proofs a transition - Roberts, Charles E. (CRC Press, 2010)