Huth, Michael and Ryan, Mark  <br/><br/>
Logic in computer science  : modelling and reasoning about systems 
Huth, Michael and Ryan, Mark  
 - 2nd ed.  
 -   Cambridge  2004 
<br/><br/><label>Dewey Class. No.: </label>006.3  / T04 HUT.R