后逻辑的机械证明方法

Mechanical proof methods for post logics

Decision Support Systems · 1986
被引 15
ABS 3
逻辑学计算机科学数学哲学
阅读原文 ↗