Nerode, Anil,  1932- <br/><br/>
Logic for applications / 
Anil Nerode, Richard A. Shore 
 - 2nd ed. 
 - 458 páginas  ilustraciones 
 - Graduate texts in computer science .
<br/><br/><label>ISBN: </label>0-387-94893-7 (encuadernado en tela : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA76.63  / N47 1997