Hehner, Eric C. R. <br/><br/>
The logic of programming 
Eric C.R. Hehner 
 - Englewood Cliffs  London  Prentice-Hall  c1984 
 - 361 p.  24cm 
 - Prentice-Hall international series in computer science .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>001.64  / 2  / 018