数理逻辑 shùlǐluóji mathematical logic Definitions Defs Origin Strokes Stroke Words Sentences Sents 数理逻辑 數理邏輯 shùlǐluóji mathematical logic A branch of mathematics that uses symbols and mathematical methods to study logic; also called 符号逻辑 fúhàoluóji. Frequency Written text 0.136 per million Cross-References Same as 符号逻辑 fúhàoluóji Sources Frequency data BCC Corpus (BLCU)
数理逻辑 數理邏輯 shùlǐluóji mathematical logic A branch of mathematics that uses symbols and mathematical methods to study logic; also called 符号逻辑 fúhàoluóji. Frequency Written text 0.136 per million Cross-References Same as 符号逻辑 fúhàoluóji Sources Frequency data BCC Corpus (BLCU)