Language:
Free Online Dictionary|3Dict

數理邏輯

Source : CEDICT

mathematical logic/symbolic logic