Hein, James L.  <br/><br/>
Discrete structures, logic and computability  
Hein, James L.  
 - 3rd ed.  
 -   Jones and Bartlett  2010 
<br/><br/><label>Dewey Class. No.: </label>BK  / T10 HEI