Huth & Ryan <br/><br/>
Logic In Computer Science 

 - New York  Cambridge  2005 
 - 428 
<br/><br/><label>Dewey Class. No.: </label>004.6