The nuts and bolts of proofs an introduction to mathematical proofs - Cupillari, Antonella 1955- (Academic Press, an Imprint of Elsevier, 2024)