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

 - 2nd 
 - Cambridge  Cambridge University Press  2004 
 - xiv,427p p. 
<br/><br/><label>Subjects--Index Terms: </label>Computer Logic