Theoremus : A Student's Guide to Mathematical Proofs - Cruz, Lito Perez (Springer International Publishing, 2021)