Schoning, Uwe. <br/><br/>
Logic for computer scientists /  
by Uwe Schoning. 
 - /   . 
 - Cambridge :   Birkhauser ,   1987. 
 - 166p. :   figures ;   24cm  one CD .  
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>0817634533  EUR34.90 
<br/><br/><label>Subjects--Index Terms: </label>LOGIC-MATHEMATICS 
<br/><br/><label>Dewey Class. No.: </label>511.3  / SCH/L