网站首页 百科知识
数理逻辑的新分支。研究数学组合论中的逻辑问题,诸如建立公式的逻辑体系和计算的概念和方法,如变数、函数、置换规则等等,这些概念和方法通常认为是不需解释、不证自明的。
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。