An introduction to mathematical proofs - Loehr, Nicholas A. (CRC Press/Taylor & Francis Group, 2020)