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

 - London  Cambridge University Press  2007 
 - 427 
<br/><br/><label>Dewey Class. No.: </label>005.115