逻辑推理与算术运算合并系统的理论分析

• A Theoretical Analysis of Combining System from Logical Reasoning to Arithmetic