Theoremus a student's guide to mathematical proofs - Cruz, Lito Perez (Springer, 2021)