Schoning, Uwe <br/><br/>
Logic for Computer Scientists 

 - Boston  Springer (Birkhauser)  2008 
 - 166p. 
<br/><br/><label>ISBN: </label>9780817647629 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3  / Sch