Schöning, Uwe <br/><br/>
Logic for Computer Scientists 

 - New York  Springer-Verlog New York, Inc.,  2002 
 - 414 
<br/><br/><label>ISBN: </label>0817634533