The nuts and bolts of proofs an introduction to mathematical proofs - Cupillari, Antonella (Elsevier Inc., 2024)