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

劳伦斯·保尔森.微积分中的一个形式化定理.纯逻辑与应用逻辑年鉴,175(第1版,B部分):103246,2024年1月。 [美国国防部]

尚未对本出版物进行评论。