bn:00035928n
Noun Concept
Categories: 邏輯, 數理邏輯, 规则
ZH
数理逻辑
ZH
数理逻辑(英語:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。 Wikipedia
Definitions
Relations
Sources
ZH
数理逻辑(英語:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。 Wikipedia