Huth, Michael <br/><br/>
Logic in Computer Science Modeling & Reasoning 
by Michael Huth 
 -  Cambridge uni. Press  2007 
<br/><br/> Engineering 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer & IT