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

 - 2nd ed. 
 -  Springer-verlag  2003 
 - xiv, 
<br/><br/><label>ISBN: </label>81-8128-344-9  495 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MATHS
<br/><br/><label>Dewey Class. No.: </label>511.3  / BEN