Ben-Ari, Moderchai 14115 <br/><br/>
Mathematical logic for computer science  

 - 2nd ed  
 - India  Springer   2011 
 - 304p. 
<br/><br/><label>ISBN: </label>9788181283443 
<br/><br/><label>Subjects--Index Terms: </label>Calculus Logic programming  
<br/><br/><label>Dewey Class. No.: </label>519.85  / BEN