詹姆斯·拉夫特里。 代数逻辑中的不一致引理。 (英语) Zbl 1350.03051号 数学。日志。问:。 59,第6号,393-406(2013).MSC公司:03G27号 03B22号 03G25号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},数学。日志。问59,第6号,393--406(2013;Zbl 1350.03051) 全文: 内政部 链接
J.G.拉弗瑞。 上下文演绎定理。 (英语) Zbl 1243.03014号 螺柱日志。 99,编号1-3,279-319(2011).MSC公司:03B22号 03G27号 03B47号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},研究日志。99,编号1--3,279--319(2011;Zbl 1243.03014) 全文: 内政部
J.G.拉弗瑞。 Gentzen和Hilbert系统之间的通信。 (英语) Zbl 1115.03095号 J.塞姆。日志。 71,第3期,903-957(2006). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03G99型 03B22号 07年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},J.Symb。日志。71,编号3,903--957(2006年;Zbl 1115.03095) 全文: 内政部