数理逻辑
Traditional form:
數理邏輯
Pinyin (reading):
shùlǐluójí
Definitions:
- mathematical logic
- symbolic logic
Characters:
- 数 - count, number, several
- 理 - science, reason, logic; to manage
- 逻 - to patrol, to inspect; patrol, watch; logic
- 辑 - to gather, to collect; to edit, to compile
Traditional characters: