·2,447,543篇论文数据，部分数据来源于NoteExpress
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
youdao
应用推荐
模块上移
模块下移
不移动