本套书按照年龄阶段和难度，循序渐进地分为4册。整套图书每个分册都包含：1和许多、绝对与相对、变与不变、分与合、平面与立体、空间和时间、分类与统计、关联与结构八个版块的内容，分册按照循序渐进地方式呈现。图书的编排方式以知识体系为目录，每个小的思维点通过“思维过程的呈现——思维方式的总结——多形式的训练”这样的模式展开。

本套书按照年龄阶段和难度，循序渐进地分为4册。整套图书每个分册都包含：1和许多、绝对与相对、变与不变、分与合、平面与立体、空间和时间、分类与统计、关联与结构八个版块的内容，分册按照循序渐进地方式呈现。图书的编排方式以知识体系为目录，每个小的思维点通过“思维过程的呈现——思维方式的总结——多形式的训练”这样的模式展开。

本套书按照年龄阶段和难度，循序渐进地分为4册。整套图书每个分册都包含：1和许多、绝对与相对、变与不变、分与合、平面与立体、空间和时间、分类与统计、关联与结构八个版块的内容，分册按照循序渐进地方式呈现。图书的编排方式以知识体系为目录，每个小的思维点通过“思维过程的呈现——思维方式的总结——多形式的训练”这样的模式展开。

本套书按照年龄阶段和难度，循序渐进地分为4册。整套图书每个分册都包含：1和许多、绝对与相对、变与不变、分与合、平面与立体、空间和时间、分类与统计、关联与结构八个版块的内容，分册按照循序渐进地方式呈现。图书的编排方式以知识体系为目录，每个小的思维点通过“思维过程的呈现——思维方式的总结——多形式的训练”这样的模式展开。

本套书按照年龄阶段和难度，循序渐进地分为4册。整套图书每个分册都包含：1和许多、绝对与相对、变与不变、分与合、平面与立体、空间和时间、分类与统计、关联与结构八个版块的内容，分册按照循序渐进地方式呈现。图书的编排方式以知识体系为目录，每个小的思维点通过“思维过程的呈现——思维方式的总结——多形式的训练”这样的模式展开。

本套书按照年龄阶段和难度，循序渐进地分为4册。整套图书每个分册都包含：1和许多、绝对与相对、变与不变、分与合、平面与立体、空间和时间、分类与统计、关联与结构八个版块的内容，分册按照循序渐进地方式呈现。图书的编排方式以知识体系为目录，每个小的思维点通过“思维过程的呈现——思维方式的总结——多形式的训练”这样的模式展开。

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

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

本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。

本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。