划分演算中的一个形式化定理

劳伦斯·保尔森划分演算中的一个形式化定理纯逻辑与应用逻辑年鉴,175(第1版,B部分):1032462024年1月。 [doi]

摘要

缺少摘要。