书籍 — first-order logic

人工智能：现代方法。第四版。第一卷。问题解决：知识与推理