现代逻辑若干问题研究

现代逻辑若干问题研究
作 者: 李娜
出版社: 河南大学出版社
丛编项:
版权说明: 本书为公共版权或经版权方授权,请支持正版图书
标 签: 暂缺
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

暂缺《现代逻辑若干问题研究》作者简介

内容简介

现代逻辑中若干重大理论问题的逻辑分析(批准号:96CIX007)的最终研究成果,它包括两部分内容:哥维尔不完全性定理及其哲学意义,公理集合论中若干重大理论问题的逻辑分析,。本书主要是对IF(Iermelo—Fraenkel)公理系统与选择公理、连续统假设、马丁公理、决定性公理、大苦数理论与力迫法之间的关系进行了较为系统的分析。

图书目录

暂缺《现代逻辑若干问题研究》目录