暂无更多详细介绍。
证明论证明论（Prooftheory），是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根...
用户名
密码
记住登录状态 忘记密码？
邮箱
确认密码
我已阅读并同意 用户协议
mysmile