摘要：论文的题目是：“ PA可证明公式的标准表示是图灵可决定的”
作者：Bhupinder Singh Anand
论文ID：math/0506126
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中