Huth Michael <br/><br/>
Logic in computer science modelling and reasoning about system/  
Michael Huth 
 - NewYork:  Huth ,Ryan  1999. 
 - xvii,387 p. : 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0521652006 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer
<br/><br/><label>LC Class. No.: </label>QA76.9.L63H88 1999