[集合论导引]朱梧槚肖奚安

【集合论导引】朱梧檟肖奚安.pdf集合论导引 朱梧肖奚安编著 1991南京前言 1989年初,鉴于教学任务与科研工作的需要,我们共同讨论 并拟订了一个写作纲要.原始计划是撰写一本既适用于计算机系,又适用于数学系的《数理逻辑》课程的教材,书名定为《数理逻辑 集合论数学基础》．我们的基本想法是:全书将分上、中、下三 篇.其中上篇讨论数理逻辑的基础知识,即有关逻辑演算的语形 和语义研究的基本内容,这样,方面可为进一步学习现代数理 逻辑的各个分支,即模型论、证明论、递归论、集合论与构造性 数学等提供一个共同的基础.另一方面,也可从逻辑基础的角度,为学习与研究各种逻辑系统在计算机科学中的应用而铺设一段共 同的必经之路,中篇讲集合论的创立与发展.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。