佛朗哥·蒙塔格纳 关于Peano算法在模态ponens下可证明闭的公式。 （英语） Zbl 0405.03030号 波尔。Unione Mat.意大利语。，V.序列号。，B类 196-211年6月16日（1979年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于5文件 MSC公司： 30楼03号 一阶算法和片段 关键词：可证明的闭合公式;Modus Ponens公司;皮亚诺算术;勒布定理 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}，波尔。Unione Mat.意大利语。，V.序列号。，B 16，196--211（1979；Zbl 0405.03030）