Manna, Zohar <br/><br/>
The deductive foundations of computer programming  : a one-volume version of The logical basis for computer programming 
/  Zohar Manna, Richard Waldinger. 
 - 1a ed. 
 - Reading, Massachusetts :   Addison-Wesley Publishing Company,   c1993 
 - xiv, 717 p. :   il. ;   24 cm. 
<br/><br/>Bibliografía : p. 673-680 Incluye índice 
<br/><br/><label>ISBN: </label>0201548860 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programacion (Computadores)<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA76.6  / M36 1993