Huth, Michael; Ryan, Mark <br/><br/>
Logic in computer modelling and reasoning about systems 2nd ed 

 - Delhi  Cambridge University Press  2005 
 - xiv,427 
<br/><br/>
<br/><br/><br/>E 
<br/><br/><label>Dewey Class. No.: </label>621.381958/Hut/Rya