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