Huth, Michael. <br/><br/>
Logic in computer science : modelling and reasoning about systems /  
Michael Huth and Mark Ryan. 
 - /   . 
 - Cambridge :   Cambridge University Press ,   2004. 
 - xiv,427p. :   Ill.,figs. ;   23cm. .  
<br/><br/>Includes bibliography and index 
<br/><br/><label>ISBN: </label>9780521670890  RS795.00 
<br/><br/><label>Subjects--Index Terms: </label>COMPUTER MODELING 
<br/><br/><label>Dewey Class. No.: </label>003.3  / HUT/L