Cunningham, Daniel W. <br/><br/>
A logical introduction to proof 

 - New York  Springer  2012 
 - xiv, 356p,:  ill: 24cm 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9781461436300 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic<br/>Symbolic<br/>Mathematical
<br/><br/><label>LC Class. No.: </label>QA9.C86 2012