Read Edit View history 数理逻辑 shùlǐluójí mathematical logic Origin Definitions Defs Strokes Stroke Words Sentences Sents Senses Add sense 数理逻辑/ 數理邏輯 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. 数理逻辑是计算机科学的重要理论基础。 Edit Delete References Add reference No references for this word.
数理逻辑/ 數理邏輯 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. 数理逻辑是计算机科学的重要理论基础。 Edit Delete