Lito Perez Cruz. <br/><br/>
Theoremus : A Student's Guide to Mathematical Proofs 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030683757 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science-Mathematics. Mathematical logic. Mathematics of Computing. Mathematical Logic and Foundations.