Schoning, Uwe. <br/><br/>
Logic for computer scientists  [electronic resource] / 
by Uwe Schoning. 
 - Boston, MA :  Birkhauser Boston,  2008. 
 - 166 p. :  ill., digital ;  24 cm. 
 - Modern Birkhauser classics .
<br/><br/><label>ISBN: </label>9780817647636 (electronic bk.) 9780817647629 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Logic programming.
<br/><br/><label>LC Class. No.: </label>QA9  / .S363 2008 
<br/><br/><label>Dewey Class. No.: </label>511.3