普雷库帕努,T。;阿佩特里,M。 关于运算符的单调性。 (英语) 兹比尔1174.47355 安提恩。Al.I.Cuza IașI大学。马特·努。 52,第1期,81-94(2006). 审核人:Gheorghe Morosanu(布达佩斯) MSC公司:47时05分 第49页第52页 PDF格式BibTeX公司 XML格式引用 \textit{T.Precupanu}和\textit{M.Apetrii},An.Științ。Al.I.Cuza IașI大学。Noué,Mat.52,No.1,81--94(2006;Zbl 1174.47355)
阿莱、东山英彦 (Pi_2^0)-FIX的Epsilon替代法。 (英语) Zbl 1119.03058号 J.塞姆。日志。 71,第4期,1155-1188(2006). 审核人:G.E.Mints(斯坦福) MSC公司:05年3月 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},J.Symb。日志。71,第4号,1155--1188(2006;Zbl 1119.03058) 全文: 内政部
乔治·莫瑟 阿克曼替代法(重新混合)。 (英语) 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) 全文: 内政部
乔治·莫瑟;理查德·扎克 ε演算和Herbrand复杂性。 (英语) Zbl 1097.03049号 螺柱日志。 82,第1期,133-155(2006).MSC公司:05年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{G.Moser}和\textit{R.Zach},Stud.Log。82,第1号,133-155(2006年;兹bl 1097.03049) 全文: 内政部 arXiv公司