Ramsay, Allan <br/><br/>
Formal methods in artificial intelligence/ 
Allan Ramsay 
 - Cambridge  Cambridge University press  1988 
 - ix, 279p. 
<br/><br/><label>ISBN: </label>9 780521 352369 
<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>004.383 8 RAM