Ben-Ari, M.,  1948- <br/><br/>
Mathematical logic for computer science / 
Mordechai Ben-Ari 
 - Third edition 
 - London :  Springer,  2012 
 - 1 recurso en línea (346 páginas) 
<br/><br/> Acceso sólo para usuarios de REDUNAM 
<br/><br/><br/>Reproducción electrónica. <br/>New York : <br/>Springer, <br/>2012 
<br/><br/><label>ISBN: </label>9781447141297 (libro electrónico) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.