本文介绍了结构证明理论的基本思想，对一阶逻辑的各种形式化进行了深入的讨论和比较。给出了几个应用领域的例子，即：纯一阶逻辑的元数学（直觉主义和经典）；逻辑程序设计理论；范畴理论；模态逻辑；线性逻辑；一阶算术和二阶逻辑。在每种情况下，目的都是在相对简单的情况下说明这些方法，然后将其应用到其他更复杂的环境中。全文中有许多练习。一般来说，唯一的先决条件是一门一阶逻辑的标准课程，这本书非常适合研究生和数学逻辑、理论计算机科学和人工智能领域的初学者。在新版中，许多章节都进行了改写，以提高清晰度，新增了关于删减的章节，并包含了选定练习的解决方案。

“这是一本好书。任何有一定逻辑背景的计算机科学家都会从研究中受益。它是由两位该领域的专家编写的，符合他们通常的精确和谨慎标准。”

雷·特纳来源：计算机杂志