Hehner, Eric C. R. <br/><br/>
The logic of programming / 
Eric C. R. Hehner 
 - New Delhi :  Prentice-Hall of India,  1991 
 - 361 p. :  ill. ;  25 cm. 
 - Prentice-Hall International series in computer science .
<br/><br/> Includes index 
<br/><br/>Bibliography: p. 343-345 
<br/><br/><label>ISBN: </label>0876927010 :  Rs. 59.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Logic, Symbolic and mathematical<br/>Programming languages (electronic computer)--Mathematical model<br/>Programming (Mathematics)
<br/><br/><label>Dewey Class. No.: </label>519.7