摘要:Pfund:一个解决集合论悖论的系统
作者:Frode Alfson Bj{o}rdal
论文ID:2212.11859
分类:Logic
分类简称:math.LO
提交时间:2023-05-03
PDF 下载: 英文版 中文版pdf翻译中