现代逻辑若干问题研究

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

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