摘要：强布尔完备性及强遗漏类型定理的证明 (针对Lωω)
作者：Juan M. Santiago, Matteo Viale
论文ID：2112.09416
分类：Logic
分类简称：math.LO
提交时间：2023-05-16
PDF 下载： 英文版 中文版pdf翻译中