|
|||||
|
|
| 20世纪数理逻辑的概貌 | |
| 引用本文： | 李娜. 20世纪数理逻辑的概貌[J]. 自然辩证法研究, 2002, 18(Z1): 50-53 |
| 作者姓名： | 李娜 |
| 作者单位： | 中山大学逻辑与认知研究所，广东 广州 510275;河南大学政治系，河南 开封 475001;南开大学哲学系，天津 300071 |
| 基金项目： | 本文得到普通高等学校人文社会科学重点研究基地基金资助。 |
| 摘 要： | 这篇文章从历史的视角回顾了20世纪数理逻辑的面貌，并展望了21世纪或者21世纪早期数理逻辑的发展。 |
| 关 键 词： | 数理逻辑 公理集合论 递归论 模型论 证明论 计算机科学 |
| 文章编号： | 1000-8934-(2002)增刊-0050-04 |
On the Development of the Logics in the 20th Century |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |