Davis ,Ruth  E. <br/><br/>
Truth, Deduction and Computation: logic and semiantics for computer science 

 - NA 
 -  1989 
 - xv,265 
<br/><br/><label>ISBN: </label>0-7167-8201-4 
<br/><br/><label>Subjects--Personal Names: </label><br/>Computer Science
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science, information & general works