Davis, Ruth E. <br/><br/>
Truth, deduction, and computation :  logic and semantics for computer science / 
R.E. Davis. 
 - New York :  Computer Science Press,  c1989. 
 - xv, 265 p. :  ill. ;  25 cm. 
 - Principles of computer science series .
<br/><br/>Includes bibliographical references (p. 257-260) and index. 
<br/><br/><label>ISBN: </label>0716782014 :  $30.00 
<br/><br/><label>LCCN: </label>89034922 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics.<br/>Logic, Symbolic and mathematical.<br/>Electronic data processing.
<br/><br/><label>LC Class. No.: </label>QA76.7  / .D386 1989 
<br/><br/><label>Dewey Class. No.: </label>005.13