证明了对任意r.e.度v＜u,存在真d-r.e.度c,使得c在d-r.e.度结构中可分支,且v＜c＜u....

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

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......

鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学......

自20世纪20年代起,数理逻辑传入了中国,并沿着自己的道路在中国发展。在中国,最先介绍数理逻辑的是汪奠基,而后影响较大的是金岳霖......