Hein, James L. <br/><br/>
Discrete structures, logic, and computability / 
James L. Hein 
 - 4th ed. 
 - Burlington, MA :  Jones & Bartlett Learning,  [2017] 
 - xiv, 1039 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781284070408 (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