Hein James L. <br/><br/>
Discrete Structures logic and Computability 

 - New Delhi  Jones& Bartltee  2014 
 - 1009p