Hehner, Eric C. R.   <br/><br/>
The Logic of Programming   
by Eric C. R. Hehner 
 - London  Prentice hall International inc  1984 
 - 361p. 
 - Prentice Hall international series in computer science   .
<br/><br/> includes bibliographical reference and index 
<br/><br/><label>ISBN: </label>0135399661   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Natural Number<br/>Pro Languages
<br/><br/><label>Dewey Class. No.: </label>512.923  / HEH