与Peano算法1-一致性等价的两个进一步的组合定理

彼得·克洛特,肯尼思·麦卡龙.与Peano算法1-一致性等价的两个进一步的组合定理.符号逻辑杂志, 48(4):1090-1104年,1983

摘要

缺少摘要。