TY - BOOK AU - Lito Perez Cruz. TI - Theoremus : A Student's Guide to Mathematical Proofs SN - 9783030683757 PY - 2021/// CY - Cham PB - Springer KW - Computer science-Mathematics. Mathematical logic. Mathematics of Computing. Mathematical Logic and Foundations UR - https://doi.org/10.1007/978-3-030-68375-7 ER -