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

 - New York  Cambridge university press  2000 
 - xvi;387p 
<br/><br/><label>Dewey Class. No.: </label>511.3 H779L