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  -