"Hein, James L" <br/><br/>
"Discrete Structures, Logic and Computability" 

 - \\201000ENGGPSX 
 - Jones and Bartlett   2010  New Delhi  
 - 1009 
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>9.79E+12