Hehner, Eric C. R. <br/><br/>
Logic of programming / 
Eric C.R. Hehner. 
 - New Delhi  Prentice/Hall International,  c1991. 
 - 361 p. ; 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0135399661 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Universal Decimal Class. No.: </label>681.325.6  / HEH