Schoning, Uwe <br/><br/>
Logic for computer scientists  
Uwe Schoning. -- 
 - Boston   Birkhauser  1989 
 - 166 p.   ill. 
 - Progress in computer science and applied logic.  v. 8. .
<br/><br/> Index 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>0817634533 (alk. paper) 
<br/><br/><label>LCCN: </label>89017864 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Logic programming
<br/><br/><label>LC Class. No.: </label>QA9 
<br/><br/><label>Dewey Class. No.: </label>511.3