An introduction to mathematical proofs - Loehr, Nicholas A. (CRC Press, 2020)