学术文献库

论文标题

基础

Foundations

论文作者

Avigad, Jeremy

论文摘要

这是关于即将到来的计算证明助手手册的数学逻辑和基础的一章草稿。

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群，获取更多资源