Ramsay, Allan. <br/><br/>
Formal methods in artificial intelligence / 
Allan Ramsay. 
 - Cambridge ;  New York :  Cambridge University Press,  1991, c1988. 
 - ix, 279 p. :  ill. ;  25 cm. 
 - Cambridge tracts in theoretical computer science ;  6 .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0521424216 (pbk.) 0521352363 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence--Methodology.<br/>Logic, Symbolic and mathematical.<br/>Reasoning.