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

 - Boston  Brkhuser  1989 
 - 166 p. 
<br/><br/><label>ISBN: </label>817634533 
<br/><br/><label>Dewey Class. No.: </label>511.3  / S