手机知网 App
24小时专家级知识服务
打 开
数学
“纯逻辑演算”中不依赖量词的部分
<正> “纯逻辑”这一名词是从王浩借用来的.但王浩称狭谓词演算为“纯逻辑”,我们则用“纯逻辑演算”这名词来专指加入了“同一”概念以后的狭谓词演算.我们认为这样作是比较符合于公理化集合论发展中的现阶段的实践的.这一名词的主要用意是为了在集合论
领 域:
数学
关键词:
1 50
手机阅读本文
下载APP 手机查看本文
数学学报
1981年05期

搜 索