一阶逻辑和一阶理论

《一阶逻辑和一阶理论》的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶语言的语法、语义；第三章介绍一个一阶推理系统，并证明了它的语义完全性。一阶逻辑是各种哲理逻辑（或称应用逻辑）的基础，它在算机科学、人工智能等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。《一阶逻辑和一阶理论》第四章包含了关于一阶逻辑的一些其它论题，以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料，它们与前三章一起，可作为继续学习数理逻辑中的“四论”的基础。