罗斯·T·布雷迪。 使用元评估的朴素集合理论的简单一致性。 (英语) Zbl 1343.03003号 J.菲洛斯。日志。 43,编号2-3,261-281(2014).理学硕士:03A05号 03B45号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Brady},J.Philos。日志。43,编号2--3,261--281(2014;Zbl 1343.03003) 全文: 内政部
罗斯·布雷迪;佩内洛普·拉什 四个基本的逻辑问题。 (英语) Zbl 1186.03007号 版本符号。日志。 2,第3期,488-508(2009). 审核人:路易斯·高布尔(塞勒姆) 理学硕士:03A05号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.Brady}和\textit{P.Rush},Rev.Symb。日志。2,第3号,488--508(2009;Zbl 1186.03007) 全文: 内政部
Brady,Ross T。 没有分布的相关逻辑的Gentzenization。一、。 (英语) Zbl 0862.03012号 J.塞姆。日志。 61,第2期,353-378(1996). 审核人:M.Urchs(柏林) 理学硕士:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Brady},J.Symb。日志。61,第2号,353--378(1996;Zbl 0862.03012) 全文: 内政部