Hein, James L. <br/><br/>
Discrete structures, logic and computability 
Hein, James L. 
 - 3rd ed. 
 -  Jones and Bartlett  2010