Ramsay, Allan  1953- <br/><br/>
Formal methods in artificial intelligence 
Allan Ramsay 
 - Cambridge  The University Press  1988 
 - ix, 279 p.  ill.  26 cm. 
 - Cambridge tracts in theoretical computer science  6 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0521352363 (pbk.)  PND 40.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence--Methodology<br/>Logic, Symbolic and mathematical<br/>Reasoning
<br/><br/><label>Dewey Class. No.: </label>001.535