Manna, Zohar. <br/><br/>
The logical basis for computer programming.  deductive reasoning /  Vol.  1 : 
Zohar Manna, Richard Waldinger. 
 - 1st ed. 
 - [S.l.] :  Addison-Wesley Professional,  1985. 
 - 632 p. ;  24 cm. 
<br/><br/><label>ISBN: </label>0201182602 (hardcover)  $68.99 9780201182606 (hardcover)