Hein, James L. <br/><br/>
Discrete structures, logic, and computability / 
James L. Hein 
 - Third edition. 
 - Burlington, MA :  Jones & Bartlett Learning,  c2013. 
 - xiv, 1009 pages :  22 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions. 
<br/><br/><label>ISBN: </label>9789380108391 
<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/>COMPUTER FUNCTIONS.
<br/><br/><label>LC Class. No.: </label>QA 76.9.M35 .H45 [2013]