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

 - 3rd ed.- 
 - New York:  Springer,  2012 
 - xv,346p.:  ill.;  23cm. 
<br/><br/>Include index 
<br/><br/><label>ISBN: </label>978-1-447-4128-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>MATH QA9.B39 2012