所有真实的陈述都是可证明的

摘要:葡萄牙语数学普及教学中的完备性定理的陈述和证明

作者:Jaime Gaspar

论文ID:1212.4665

分类:History and Overview

分类简称:math.HO

提交时间:2012-12-20

PDF 下载: 英文版 中文版pdf翻译中