Schoning , Uwe <br/><br/>
Logic for computer scientists 

 - Boston:  Birkhauser,  1989 
 - 166p.:  ill,;  23cm. 
<br/><br/><label>ISBN: </label>0-8176-3453-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic<br/>symbolic and mathematical<br/>Logic programming
<br/><br/><label>LC Class. No.: </label>MATH QA9.S363