Hilbert II - QEDEQ 0.04.02

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

关于 Hilbert II - QEDEQ

在Hilbert的程序的传统,我们创建一个正式的正确(可由校对验证器检查),但可读(如普通LaTeX教科书)的数学知识库,这是在互联网上免费访问的。逻辑和集理论开始了。