Manna, Zohar <br/><br/>
Lectures on the logic of computer programming/ 
Zohar Manna. 
 - Philadelphia:  SIAM,  1980. 
 - CBMS-NSF Regional conference series in applied mathematics; .
 - CBMS-NSF Regional conference series in applied mathematics;  31. .
<br/><br/>Bibliography: p. 49 
<br/><br/><label>ISBN: </label>9780898711646 
<br/><br/><label>LCCN: </label>79093153 //r872 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming (Electronic computers)<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>001.64/2