摘要:K-rank:强合并的Fraisse类的概念及其在模型论中的应用
作者:Vince Guingona and Miriam Parnes
论文ID:2007.02922
分类:Logic
分类简称:math.LO
提交时间:2023-05-23
PDF 下载: 英文版 中文版pdf翻译中