摘要：复杂指数域中的拟极小性猜想的证明策略
作者：Alex Wilkie
论文ID：2306.14562
分类：Logic
分类简称：math.LO
提交时间：2023-06-27
PDF 下载： 英文版 中文版pdf翻译中