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

 - Boston  Birkhauser         1989 
 - 166p. 
 - modern birkhauser classics .
<br/><br/> Bibliography 155-160p.; Index 163-166p. 
<br/><br/><label>ISBN: </label>9780817647629 (pbk) SL01536081 
<br/><br/><label>Standard No.: </label>165897 
<br/><br/><label>Source: </label> 626, 29/12/2011, Aviva Books Company  Textual 
<br/><br/><label>Dewey Class. No.: </label>B:(R1)0bD658(B), P8-;1