Manna, Zohar <br/><br/>
The logical basis for computer programming / 
Zohar manna, Richard waldinger 
 - volúmenes 
 - Addison-wesley series in computer science .
<br/><br/>Contenido: v.1, deductive reasoning 
<br/><br/><label>ISBN: </label>0201182602  (v.1.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática<br/>Programación de computadoras
<br/><br/><label>LC Class. No.: </label>QA76.6  / M346