Hutch, Michael <br/><br/>
Logic in Computer Science Modeling & Reasoning Abortsy 
by Hutch Michael 
 -  Cambridge uni. Press  2007 
<br/><br/> Engineering 
<br/><br/><label>ISBN: </label>0-5216-7089-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer & IT