Huth, Michael   & Ryan, Mark <br/><br/>
Logic in computer science  modelling and reasoning about systems 

 - 2nd ed 
 - Cambridge University Press, UK  2004 
 - xiv,427 
<br/><br/><label>ISBN: </label>0-521-67089-6 
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>511.3 Hut/Rya