Introduction to mathematical proofs : a transition - Roberts, Charles E. (Textbooks in mathematics, 2009)