Michael Huth <br/><br/>
Logic in Computer Science 

 - New Delhi  Cambridge  2004 
<br/><br/><label>ISBN: </label>0000096069 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Computer <br/> Logic <br/> Modelling <br/> Reasoning <br/> Science <br/> Systems<br/>about <br/>Digi Cir & Logic Desi, DigiCom Ele
<br/><br/><label>Dewey Class. No.: </label>1.64