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

 - 3rd ed. 
 - New York:  Springer,  2012. 
 - xv, 346p. 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781447141280 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>QA 9 .B3955 2012