Huth Michael & Mark Ryan <br/><br/>
Logic in Computer Science 

 - 2nd 
 - South Asia  Cambridge University Press  2011 
 - 427P 
<br/><br/><label>ISBN: </label>978-0-521-67089-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>M.TECH