Cunningham, Daniel W <br/><br/>
Logical Introduction to Proof 
Daniel W Cunningham 
 - New York  Springer  2013 
 - xiv,356p. 
<br/><br/><label>ISBN: </label>9781489990990  E26.99