目录
专栏：证明论与数学基础
克莱瑟的“重心转移”及当代证明挖掘（英文）乌利齐·克伦巴赫;1-35
集合论中的类克莱瑟-列维定理（英文）米夏尔·拉特延;舒双爽;36-52
埃尔布朗扩展及来自图表的证明提取（英文）马蒂亚斯·贝兹;诺伯特·普雷宁;53-88
公开宣告逻辑的一个加标矢列演算（英文）吴昊;汉斯·范·狄马希;陈锦盛;89-107
模态实在与模态非实在事件的逻辑（英文）赵贤;潘天群;108-118
导致深度分歧的显性文化知识（英文）陈志喜;宁建庚;119-136