Manna, Zohar <br/><br/>
The logical basis for computer programming 

 - Reading :  [S.n.],  c1985-1990 
 - 2 v. ;  23 cm. 
 - Addison-Wesley series in computer science .
<br/><br/> Volumen I: Deductive reasoning. Volumen II: Deductive systems 
<br/><br/><label>ISBN: </label>0201182602 (v.1) 
<br/><br/><label>Standard No.: </label>DIF-M640 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA COMPUTACIONAL<br/>LÓGICA MATEMÁTICA