从规范化证明中提取程序

乌尔里希·伯杰斯特凡·贝尔霍弗皮埃尔·莱图泽赫尔穆特·施维赫滕贝格.从规范化证明中提取程序.Studia Logica公司, 82(1):25-492006 [doi]

摘要

缺少摘要。