奥利弗·法辛;马提亚斯·巴兹 哥德尔逻辑上的单调算子。 (英语) Zbl 1432.03035号 架构(architecture)。数学。逻辑 53,编号3-4,261-284(2014).MSC公司:03B50号 03B20型 03B45号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{O.Fashing}和\textit{M.Baaz},拱门。数学。逻辑53,No.3--4,261--284(2014;Zbl 1432.03035) 全文: 内政部
马提亚斯·巴兹;乔治·莫瑟 赫伯兰德定理和术语归纳法。 (英语) Zbl 1093.03032号 架构(architecture)。数学。逻辑 45,第4期,447-503(2006). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:2007年3月 03英尺20英寸 03B10号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{G.Moser},拱门。数学。逻辑45,No.4,447--503(2006;Zbl 1093.03032) 全文: 内政部