摘要：关于PA和PRA的一致性及其在ZF中的解释的结果
作者：Bhupinder Singh Anand
论文ID：math/0502503
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中