Michael Huth <br/><br/>
Logic in Computer Science  modelling and reasoning about systems 

 - 2/e 
 - New Delhi  Cambridge University Press  2010 
 - xiv ,427 
<br/><br/><label>ISBN: </label>9780521670890