Ramsay, Allan <br/><br/>
Formal in artificial intelligence:  

 - Cambridge:   Cambridge university Press,   1988 
 - ix, 279p.  
<br/><br/><label>ISBN: </label>0-521-35236-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence 
<br/><br/><label>Subjects--Index Terms: </label>computer  Mathematical  
<br/><br/><label>Universal Decimal Class. No.: </label>D 007.521.510.6  / M8