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

 - 2nd 
 - Berlin:  Springer-Verlag,  2001 
 - xiv, 304p. Bibl. Index. 
<br/><br/><label>ISBN: </label>1852333197 
<br/><br/><label>Dewey Class. No.: </label>511.3  / B456.ML