General Information书名=1991.12 数理逻辑引论作者=孙希文编著页数=237SS号=10833076出版日期=1991年12月第1版前言目录目 录 第一章 引 论 1.1 数理逻辑的简单历史及主要内容 1.2公理系统与形式系统 1.3结构、关系结构和代数结构 1.4 命题连接词和量词 1.5真值函数和赋值 习题 第二章一阶理论 2.1一阶语言 2.2一阶语言的若干性质 2.3结构 2.4一阶理论的概念 2.5形式定理与形式证明 习 题 第三章一阶理论的若干定理 3.1演绎定理 3.2 重言式定理 3.3等价和相等定理 3.4一阶理论的范式 习题 第四章一阶理论的特征问题 4.1 归约定理 4.2全性定理 4.3 协调性定理 4.4 Herbrand定理 4.5 函数符号的引入 4.6用定义方法扩张理论 4.7解释 习题 第五章形式系统的一般理论与一阶理论的等价定义 5.1 形式系统的一般理论简介 5.2 归纳算子及其不动点 5.3具有相同语言的一阶理论的等价定义 5.4具有不同语言的一阶理论的等价定义 5.5 Gentze系统 习题 第六章模型论 6.1紧致性定理 6.2结构与模型的超积 6.3定向结构族及其定向极限 6.4初等等价性 6.5完全的理论 6.6等式逻辑的结构及模型 6.7不变性和表征定理 习题
