Hilbert II - QEDEQ 0.04.02
许可: 免费 文件大小: N/A
用户评分: 4.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 Hilbert II - QEDEQ
在Hilbert的程序的传统,我们创建一个正式的正确(可由校对验证器检查),但可读(如普通LaTeX教科书)的数学知识库,这是在互联网上免费访问的。逻辑和集理论开始了。
在Hilbert的程序的传统,我们创建一个正式的正确(可由校对验证器检查),但可读(如普通LaTeX教科书)的数学知识库,这是在互联网上免费访问的。逻辑和集理论开始了。