戴尔·米勒;亚历山大·维埃尔 当等式是逻辑连接词时,证明搜索的不可判定性。 (英语) Zbl 07517440号 安。数学。Artif公司。智力。 90,第5期,523-535(2022).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}和\textit{A.Viel},Ann.数学。Artif公司。智力。90,编号5,523--535(2022;Zbl 07517440) 全文: 内政部 哈尔
保罗·吉勒梅尔·桑托斯;莱因哈德·卡勒 \在\(\mathrm{PA}\)中的(k\)-可证明性。 (英语) 兹布尔07462129 日志。通用。 第4期第15页,第477-516页(2021).MSC公司:03B10号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Santos}和\textit{R.Kahle},Log。通用。15,编号4,477--516(2021;Zbl 07462129) 全文: 内政部
Farmer,William M。 研究可证性问题的统一理论方法。 (英语) Zbl 0735.03001号 Ann.纯粹应用。逻辑 51,第3期,173-214(1991). 审核人:N.Zamov(喀山) MSC公司:03B25号 20层03 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},Ann.纯苹果。逻辑51,No.3,173--214(1991;Zbl 0735.03001) 全文: 内政部
Farmer,William M。 二阶一元项的统一算法。 (英语) Zbl 0655.03004号 Ann.纯粹应用。逻辑 39,第2期,131-174(1988). 审核人:C.马萨拉吉 MSC公司:03B15号机组 05年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},Ann.纯苹果。逻辑39,编号2131-174(1988;Zbl 0655.03004) 全文: 内政部