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