该书为逻辑方面的最权威的书籍，涵盖了一阶逻辑，时态逻辑，模态逻辑和描述逻辑等。深入讲述了面向逻辑的编程语言，如Prolog等。该书对于学习逻辑编程人员具有极大的帮助。