【数理逻辑引论】朱梧檟肖奚安.pdf
数理逻辑引论 朱梧肖奚安编著 1995南京
前言 我们曾在《集合论导引》(见参考文献[16])一书的前言中指 出:“1989年初,鉴于教学任务与科研工作的需要,我们共同讨论 并拟订了一个写作纲要.原始计划是撰写一本既适用于计算机系,集合论数学基础》1,当时的基本想法是:全书将分上、中、下 三篇,其中上篇讨论逻辑演算的语形和语义研究,中篇讲集合论 的创立与发展,下篇研讨数学基础论的基本内容,“然而,对于以 上的认识和计划,在后来撰写讲义和教学实践的过程中,发现难以 全部实现.特别是在考虑和付诸正式出版的过程中,根据多方面 的意见和看法,还是决定将如上所说全书之上、中、下三篇独立成 珊,依次写成《数理逻辑引论》《集合论导引》和《数学基 