Joseph Kirtland <br/><br/>
Proofs 101  An Introduction to Formal Mathematics 

 -  Taylor and Francis  2020 
<br/><br/><label>ISBN: </label>9781003082927 
<br/><br/><label>Source: </label>EBOOK