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 
 - Reading, Mass.  Addison-Wesley  1993 
 - xiv, 717 p. :  ll. ;  24 cm. 
<br/><br/> Condensed and simplified version of the original work 
<br/><br/>Bibliography: p. 673-677 
<br/><br/><label>ISBN: </label>0201548860  RM62.95 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computer--Programming<br/>Logic, Symbolic and mathematical