数理逻辑 shùlǐluójí mathematical logic Definitions Defs Origin Strokes Stroke Words Sentences Sents 数理逻辑 (數理邏輯) shùlǐluójí mathematical logic The branch of mathematics and formal logic concerned with the study of formal systems and the foundations of mathematics. Frequency Written text 0.136 per million Sources Definitions CC-CEDICT Frequency data BCC Corpus (BLCU)
数理逻辑 (數理邏輯) shùlǐluójí mathematical logic The branch of mathematics and formal logic concerned with the study of formal systems and the foundations of mathematics. Frequency Written text 0.136 per million Sources Definitions CC-CEDICT Frequency data BCC Corpus (BLCU)
