Huth, Michael <br/><br/>
Logic in computer science: modelling and reasoning about system 

 - UK  Oxford  2000 
 - xviii,387p p. 
<br/><br/><label>ISBN: </label>0-521-65602-8 
<br/><br/><label>Subjects--Index Terms: </label>Computer logic