數理邏輯

数理逻辑
shùluó
  1. mathematical logic
  2. symbolic logic

CEDICT

  1. (logic) mathematical logic
  2. mathematical logic

Wiktionary

Entry Composition