Introduction to Mathematical proofs : A transition - Roberts, Charles E (London CRC Press, 2010)