来源:《思维与智慧》1989年第06期 作者:G·T·尼奔;王颂平;
选择字号

甘岑的自然演绎演算

分享到: 分享到QQ空间

<正> 迄今为止,我们所主要讨论的逻辑演算,即用公理方法处理的狭谓词演算,标志着把数学方法运用于逻辑获得了显著的成功。这种演算的形式上的简易是令人称道的,从纯粹数学的观点看,它可以同公理化的射影几何及抽象群论这一类数学观念的完满体现的学科相媲美。此外,作为应用于研究演绎系(本文共计4页)       [继续阅读本文]

下载本文订阅本刊

相关文章推荐

思维与智慧杂志1989年第06期
思维与智慧
主办:河北师范大学
出版:思维与智慧杂志编辑部
出版周期:旬刊
出版地:河北省石家庄市

本期目录