Huth, Michael  . <br/><br/>
Logic In Computer Science /   Textual Documents 
Michael Huth. 
 - 2 /   . 
 - Cambridge :   Cambrdge University Press ,   2004. 
 - NULL ;   NULL. 
<br/><br/><label>Subjects--Index Terms: </label>Computer Science 
<br/><br/><label>Dewey Class. No.: </label>004  / HUT