Ben-Ari, M. <br/><br/>
Mathematical logic for computer science /  
M. Ben-Ari. 
 - 1a ed. 
 - New York :  Prentice-hall,  1993 
 - 305 p. :  íl. ;  23 cm. 
 - Prentice-Hall International series in computer science .
<br/><br/>Incluye apéndice e índice 
<br/><br/><label>ISBN: </label>013564139X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA9   / B46 1993