Hein, James L.  <br/><br/>
Discrete structures, logic, and computability 
James L. Hein 
 - 3rd ed. 
 - New Delhi  Jones and Bartlett  2010 
 - xiv, 1009p. 
<br/><br/><label>ISBN: </label>9789380108391 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Programming<br/>Logic, Symbolic and mathematical<br/>Computable functions<br/>Computer science--Mathematics
<br/><br/><label>Dewey Class. No.: </label>004.015113 H3642i3