数
理
逻
辑
s
h
ù
l
ǐ
l
u
ó
j
í
Definitions
1. mathematical logic
2. symbolic logic
Components
数理
shù lǐ
–
mathematical sciences