O000432　数理逻辑引论

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第45页（271字）

孙希文编着。哈尔滨工业大学出版社1991年12月版。35万字。共6章。第一章引论，对数理逻辑的研究对象、历史及主要内容作简单介绍，对形式理论的直观背景作了说明。第二章一阶理论，用元数学的观点以严格的形式化的方法建立了一阶理论。第三章给出一阶理论的一些常用的重要定理及其详细证明，讨论公式的析取范式、合取范式、前束范式问题。第四章为一阶理论的特征问题等。第五章形式系统的一般理论与一阶理论的等价定义，研究形式系统的一般理论，讨论归纳算子及核算子的性质。第六章模型论，叙述模型论的一些基本内容。