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

 - London  Springer-Verlag  2003, 2019 
 - xiv, 304 p.  : ill.  ; 24 cm. 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>8181283449 (pbk) 9781447173618 (hb) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebra --Electronic data processing--Computer science--Predicate calculus--Logic programming--Temporal logic--Algebra--FC--FBSH
<br/><br/><label>Dewey Class. No.: </label>511.3  / BEN