O000432　数理逻辑引论

---

孙希文编著。

哈尔滨工业大学出版社1991年12月版。35万字。共6章。第一章引论，对数理逻辑的研究对象、历史及主要内容作简单介绍，对形式理论的直观背景作了说明。

第二章一阶理论，用元数学的观点以严格的形式化的方法建立了一阶理论。第三章给出一阶理论的一些常用的重要定理及其详细证明，讨论公式的析取范式、合取范式、前束范式问题。

第四章为一阶理论的特征问题等。第五章形式系统的一般理论与一阶理论的等价定义，研究形式系统的一般理论，讨论归纳算子及核算子的性质。

第六章模型论，叙述模型论的一些基本内容。