20世纪数理逻辑的概貌

摘要：

这篇文章从历史的视角回顾了20世纪数理逻辑的面貌，并展望了21世纪或者21世纪早期数理逻辑的发展。

关键词：数理逻辑、公理集合论、递归论、模型论、证明论、计算机科学

所属期刊栏目：18

分类号：B813(逻辑学(论理学))

资助基金：普通高等学校人文社会科学重点研究基地基金

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：50-53