|
|||||
|
|
| 一阶逻辑与集合论 | |
| 引用本文： | 李静铂,吕胜利,杨瑞芳.一阶逻辑与集合论[J].邯郸职业技术学院学报,2004,17(4):72-74. |
| 作者姓名： | 李静铂 吕胜利 杨瑞芳 |
| 作者单位： | 1. 秦皇岛教育学院数学系 2. 秦皇岛广播电视大学,秦皇岛,066000 3. 邯郸市第二十四中学,邯郸,056002 |
| 摘 要： | 一阶逻辑理论与集合论是两种不同的理论，但两者的理论结构有很多相同之处，将这两种理论进行了比较，分析了它们之间的一致性。 |
| 关 键 词： | 集合论 一阶逻辑 一致性 理论结构 |
The First- order Logic and Set Theory |
|
| LI Jingho,LV Shengli,YANG Ruifang.The First- order Logic and Set Theory[J].Journal of Handan Vocational and Technical College,2004,17(4):72-74. | |
| Authors: | LI Jingho LV Shengli YANG Ruifang |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |