ㄕㄨˋㄌㄧˇshùlǐㄌㄨㄛˊㄐㄧˊluójí

数理逻辑
shùlǐ luójiㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ˙ㄐㄧ
  1. 數學一個分支符號數學方法研究邏輯形式邏輯學科符號邏輯」。

mathematical logic, symbolic logic
logique mathématique
Mathematische Logik (S, Math)​, formale Logik (S, Math)​