格里戈里薄荷 一阶和二阶谓词逻辑的Epsilon替换。 (英语) Zbl 1275.03156号 Ann.纯粹应用。逻辑 164,第6期,733-739(2013). 审核人:M.Yasuhara(普林斯顿) MSC公司:35楼03号 03英尺30英寸 05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},安。纯苹果。逻辑164,No.6,733--739(2013;Zbl 1275.03156) 全文: 内政部
薄荷,G。 ε演算简单公式的割消。 (英语) Zbl 1136.03037号 Ann.纯粹应用。逻辑 152,编号1-3,148-160(2008). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:05年3月 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},Ann.纯应用。逻辑152,编号1--3,148-160(2008;Zbl 1136.03037) 全文: 内政部
乔治·莫瑟 阿克曼替代法(重新混合)。 (英语) Zbl 1103.03058号 Ann.纯粹应用。逻辑 142,编号1-3,1-18(2006). 审核人:G.E.Mints(斯坦福) MSC公司:03英尺30英寸 03D20日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Moser},Ann.纯粹应用。逻辑142,编号1--3,1--18(2006;Zbl 1103.03058) 全文: 内政部
阿莱、东山英彦 (Pi_{1}^{0})-FIX的ε替换方法中的思想。 (英语) Zbl 1116.03051号 Ann.纯粹应用。逻辑 136,第1-2、3-21号(2005). 审核人:安东·塞泽尔(斯旺西) MSC公司:05年3月 2015年1月3日 35楼03号 03日70 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},Ann.纯苹果。逻辑136,编号1--2,3--21(2005;Zbl 1116.03051) 全文: 内政部
阿莱、东山英彦 Epsilon替换\(\text{标识}_{1} (\Pi_{1}^{0}\vee{\Sigma}_{1{^{0{)\)。 (英语) Zbl 1022.03040号 Ann.纯粹应用。逻辑 121,第2-3号,163-208(2003).MSC公司:05年3月 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},Ann.纯苹果。逻辑121,No.2--3,163--208(2003;Zbl 1022.03040) 全文: 内政部