摘要:缺乏领域封闭性和可定义性保护所导致的问题的研究
作者:Karl Schlechta (LIF)
论文ID:math/0607189
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中