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

 - \\200402ENGGPSX 
 - Narosa   2004  New Delhi  
 - 840p. 
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>8173195625