Huth, Michael <br/><br/>
Logic in Computer Science :  Modelling and Reasoning about Systems 
/ Michael Huth and Mark Ryan 
 - New Delhi  Cambridge University Press  2016 
 -  xiv, 427p. : ill. ;   24cm 
<br/><br/> It includes Bibliography and Index Pages 
<br/><br/><label>ISBN: </label>9780521670890 
<br/><br/><label>Subjects--Index Terms: </label>Computer logic; Logic programming 
<br/><br/><label>Dewey Class. No.: </label>005.1015113 HUT