Ben Ari Mordechai <br/><br/>
Mathematical logic for computer science/ 
Mordechai Ben-ARI 
 - 2nd ed. 
 - London:  Prentice Hall International,  2001. 
 - xiv,304p.; 
<br/><br/> includes index 
<br/><br/><label>ISBN: </label>9781852333195 
<br/><br/><label>Subjects--Topical Terms: </label><br/>computer science
<br/><br/><label>LC Class. No.: </label>QA9.B3955 2001