Gries, David <br/><br/>
Logical approach to discrete math 

 - 
 - New york  Springer-Verlag  1993 
 - xvi, 497p.   
<br/><br/>   
<br/><br/><label>ISBN: </label>ISBN: 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Index Terms: </label>Mathematics  Number theory  Set theory  Group theory 
<br/><br/><label>Dewey Class. No.: </label>51