摘要：《关于一类多项式机器计算哥德尔编号的重要结果的讨论》
作者：N. C. A. da Costa and F. A. Doria
论文ID：math/0106099
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中