摘要：关于Shelah-Stupp迭代和Muchnik迭代理论与多种逻辑的基本结构理论之间的关系的研究
作者：Dietrich Kuske
论文ID：0802.2862
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-02-21
PDF 下载： 英文版 中文版pdf翻译中