A Theoretical Analysis of Combining System from Logical Reasoning to Arithmetic

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