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

 - \\201300ENGGPSX 
 - JONES & BARTLETT LEARNING   2013  NEW DELHI  
 - 1009p. 
<br/><br/> includes index and biblioraphy