Hein, James L. <br/><br/>
Discrete structures, logic, and computability / 
James L. Hein 
 - 3rd ed. 
 - Sudbury, Mass. :  Jones and Bartlett Publishers,  2010 
 - xiv, 1009 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780763772062 (hbk.) 0763772062 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics<br/>Logic programming<br/>Data structures (Computer science)<br/>Logic, Symbolic and mathematical<br/>Computable functions