Lito Perez Cruz. Theoremus : A Student's Guide to Mathematical Proofs - Cham Springer 2021 ISBN: 9783030683757 Subjects--Topical Terms: Computer science-Mathematics. Mathematical logic. Mathematics of Computing. Mathematical Logic and Foundations.