Genesereth,  Michael R. <br/><br/>
Logical foundations of artificial intelligence / 
Genesereth, Michael R., Nilsson, Nils J. 
<br/><br/><label>Dewey Class. No.: </label>006.3 G286L