Home
Random Article
Read on Wikipedia
Edit
History
Talk Page
Print
Download PDF
wu
84 other languages
数理逻辑
数理逻辑
(英:Mathematical logic)是
数学
个一个分支,渠个研究对象是对证明搭计算迭两个直观概念进行符号化以后个形式系统。数理逻辑是数学基础个一个弗可缺少个组成部分。