数理逻辑 (數理邏輯) shǔlǐ luóji

shǔlǐ luóji noun mathematical logic; symbolic logic
Domain: Modern Chinese 现代汉语 , Subdomain: Mathematics