徐敏 周勇 肖奚安 王前 朱剑英 宫宁生 徐利治 张东摩

科学 命题演算 近代公理集合论 特征选择 逻辑演算 数学本体论 现代文明 数学哲学

江苏南京 空军气象学院 南京大学数学系 南京大学空军气象学院 扬州大学工学院计算机系 南京航空航天大学计算机科学研究所 南京大学软件新技术国家重点实验室 210093南京航空航天大学计算机科学研...