20世纪数理逻辑的概貌  

On the Development of the Logics in the 20th Century

作　　者：李娜 

出　　处：《自然辩证法研究》2002年第z1期50-53,共4页Studies in Dialectics of Nature

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

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

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

分 类 号：B813[哲学宗教—逻辑学]