Huth, Michael <br/><br/>
Logic in computer science  Modelling and reasoning about systems 
/ by Michael Huth 
 - 2nd 
 - New Delhi  Cambridge University Press  2004 
 - 427  ill  25cm 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780521670890 
<br/><br/><label>Source: </label> PB 
<br/><br/><label>Subjects--Index Terms: </label>Computer science | Computer logic | Logic programming 
<br/><br/><label>Index Terms--Curriculum Objective: </label>--CSE-IT
<br/><br/><label>Dewey Class. No.: </label>005.1015113  / HUT