论文标题
基础
Foundations
论文作者
论文摘要
这是关于即将到来的计算证明助手手册的数学逻辑和基础的一章草稿。
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
加入微信交流群
发送 求 20200909541 免费下载英文原文
这是关于即将到来的计算证明助手手册的数学逻辑和基础的一章草稿。
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
发送 求 20200909541 免费下载英文原文