关于分离完整性公理

摘要:论文标题翻译:“关于$mathsf{WA}$的公理系统及其一致性的研究”

作者:Hanul Jeon

论文ID:2308.03649

分类:Logic

分类简称:math.LO

提交时间:2023-08-08

PDF 下载: 英文版 中文版pdf翻译中