Cunningham, Daniel W <br/><br/>
Logical introduction to proof 

 - New York  Springer  2012 
 - xv, 356 p. 
<br/><br/><label>Dewey Class. No.: </label>511.3 C917L