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