数理逻辑

• symbolic logic
• mathematical logic
• mathematic(al) logic

参考释义

数理逻辑 [shù lǐ luó ji]

• -