Lito Perez Cruz.

Theoremus : A Student's Guide to Mathematical Proofs - Cham Springer 2021

9783030683757


Computer science-Mathematics. Mathematical logic. Mathematics of Computing. Mathematical Logic and Foundations.