MICHEL HUTH <br/><br/>
LOGIC IN COMPUTER SCIENCE 

 -  CAMBRIDGE 
<br/><br/><label>Dewey Class. No.: </label>4