逻辑学
(重定向自数理逻辑)
逻辑学是对推理过程的描述和研究, 是数学中推理的基础. 这部分应用于数学, 且使用数学方法研究的逻辑学也称为数理逻辑.
术语翻译
逻辑学 • 英文 logic • 德文 Logik (f) • 法文 logique (f) • 日文 論理学 (ろんりがく) • 韩文 논리학 (論理學)
数理逻辑 • 英文 mathematical logic • 德文 mathematische Logik (f) • 法文 logique mathématique (f) • 日文 数理論理学 (すうりろんりがく) • 韩文 수리 논리학 (數理論理學)