👋欢迎来到黄铜扳手的图书馆

数理逻辑

研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统