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

 - 2 
 - London  Springer  2001 
 - "xiv,304p. ;23.5cm." 
<br/><br/> includes bibliography and index 
<br/><br/><label>ISBN: </label>1852333197 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Logic, Symbolic and mathematical"<br/>Computer logic<br/>Computer science --Mathematics