Manna, Zohar. <br/><br/>
The logical basis for computer programming / 
Zohar Manna, Richard Waldinger. 
 - Reading, Mass. :  Addison-Wesley,  c1985-c1990. 
 - 2 v. :  ill. ;  25 cm. 
 - Addison-Wesley series in computer science .
<br/><br/> AR Mesa (Recommending faculty) AY2017-2018 
<br/><br/>Includes bibliographies and indexes. 
<br/><br/>v. 1. Deductive reasoning -- v. 2 Deductive systems. 
<br/><br/><label>ISBN: </label>0201182602 (v. 1) : 0201182610 (v. 2) 
<br/><br/><label>LCCN: </label>84020346  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Index Terms--Curriculum Objective: </label><br/>Discrete mathematical structures in computer science I--CMSC 56<br/>Discrete mathematical structures in computer science II--CMSC 57
<br/><br/><label>LC Class. No.: </label>QA76.6  / .M35595 1985 
<br/><br/><label>Dewey Class. No.: </label>519.7