shù​lǐ​luó​ji

mathematical logic

Senses

数理逻辑/ 數理邏輯 shù​lǐ​luó​ji (also shù​lǐ​luó​jí) mathematical logic

A branch of mathematics that uses symbols and mathematical methods to study logic; also called 符号逻辑 fú​hào​luó​ji.

References

same_as 数理逻辑/數理邏輯 符号逻辑/符號邏輯
same_as 符号逻辑/符號邏輯 数理逻辑/數理邏輯