当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Foundations
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-20 , DOI: arxiv-2009.09541 Jeremy Avigad
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-20 , DOI: arxiv-2009.09541 Jeremy Avigad
This is a draft of a chapter on mathematical logic and foundations for an
upcoming handbook of computational proof assistants.
中文翻译:
基金会
这是即将出版的计算证明助手手册的数学逻辑和基础章节的草稿。
更新日期:2020-09-22
中文翻译:
基金会
这是即将出版的计算证明助手手册的数学逻辑和基础章节的草稿。