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