Velleman, Daniel J. <br/><br/>
How to prove it : a structured approach 

 -  Cambridge University Press  1994 
 - 309 p 
<br/><br/><label>ISBN: </label>0-521-44663-5 
<br/><br/><label>LC Class. No.: </label>QA 9 .V38/