柯林斯词典mathematical logic 1. N symbolic logic, esp that branch concerned with the foundations of mathematics 数理逻辑 返回 mathematical logic