Hein, James.J <br/><br/>
Discrete Structures Logic, and Computability 

 - 4th,ed. 
 - New Delhi:    Jones and Barlett,  2017. 
 - 1039p. 
<br/><br/>	Elementary notions and notations --<br/>Facts about functions --<br/>Construction techniques --<br/>Binary relations and inductive proof --<br/>Analysis tools and techniques --<br/>Elementary logic --<br/>Predicate logic --<br/>Applied logic --<br/>Algebraic structures and techniques --<br/>Graph theory --<br/>Languages and automata --<br/>Computational notions. 
<br/><br/><label>ISBN: </label>9780763772062 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science -- Mathematics.<br/>Logic programming.<br/> Data structures (Computer science).
<br/><br/><label>Dewey Class. No.: </label>004.0151  / HEI/D