Huth, Michael <br/><br/>
Logic In Computer Science  Modelling and Reasoning about Systems 

 - New Delhi  Cambridge University Press  2011 
 - xiv+427 
<br/><br/> Logic,in,Computer,Science,Logic in Computer Science 
<br/><br/><label>ISBN: </label>978-0-521-67080-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic in Computer Science