括号记法相关硕士博士期刊学术论文 - 搜论网

括号记法相关论文

沈有鼎的“纯逻辑演算”思想源流——纪念沈有鼎先生逝世30周年

在概述沈有鼎先生的《个体与真值的演算》与《“纯逻辑演算”中不依赖量词的部分》两篇论文的主要内容和思想的基础上,找到沈有鼎......

期刊

沈有鼎纯逻辑演算括号记法条件析取带等词一阶逻辑的无量词片段 Shen Yuting pure logic calculus Bracket-notati

看过本文同时还关注