"Huth, Michael" <br/><br/>
Logic In Computer Scienc 

 - Second 
 - U.K  Cambridge University  2004 
 - "xiv, 427" 
<br/><br/><label>ISBN: </label>9.78E+12 
<br/><br/><label>Dewey Class. No.: </label>4  / HUT