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

 - 3rd 
 - London  Springer  2012 
 - xv,346p 
<br/><br/><label>ISBN: </label> RS 5171.14 
<br/><br/><label>Dewey Class. No.: </label>511.3