Hein, James L. <br/><br/>
Discrete structures, logic, and computability / 
James L. Hein 
 - Third edition. 
 - Burlington, MA :  Jone and 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/><br/><label>LC Class. No.: </label>QA 76.9.M35 .H45 [2013]