Ben-Ari, Mordechai. <br/><br/>
Mathematical logic for computer science / 
By Mordechai Ben-Ari 
 - 2nd ed. 
 - New Delhi :  Springer ,  2008. 
 - xiv,304p. ;  PB :  22.5 cm 
<br/><br/><label>ISBN: </label>9788181283443 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional Calculus<br/>Logic Programming<br/>Temporal Logic
<br/><br/><label>Dewey Class. No.: </label>511.3   / BENM