An introduction to mathematical proofs - Loehr, Nicholas A. (Textbooks in mathematics, 2020)