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

 - New York  Springer-Verlag  1993 
 - xvi,497p. p. 
<br/><br/><label>ISBN: </label>0-387-94115-0 
<br/><br/><label>Subjects--Index Terms: </label>Mathematics