哇,拉里;多尔夫·乌尔里奇;布兰登·费特尔森 克服XCB问题:等价微积分最后一个最短公理的方法学发现。 (英语) 兹比尔1020.03006 J.汽车。推理 29,第2期,107-124(2002). 审核人:N.Zamov(喀山) MSC公司:03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}等人,J.Autom。推理29,No.2,107--124(2002;Zbl 1020.03006) 全文: 内政部
威廉·麦库恩;罗伯特·韦洛夫;布兰登·费特尔森;肯尼思·哈里斯;安德鲁·费斯特;哇,拉里 布尔代数的简单公理。 (英语) Zbl 1014.06012号 J.汽车。推理 29,第1期,第1-16页(2002年).MSC公司:05年6月 06-04 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}等人,J.Autom。推理29,No.1,1--16(2002;Zbl 1014.06012) 全文: 内政部
布兰登·费特尔森;哇,拉里 发现缺少证据。 (英语) Zbl 1006.03012号 J.汽车。推理 27,第2期,201-225(2001).MSC公司:03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Fitelson}和\textit{L.Wos},J.Autom。推理27,No.2,201--225(2001;Zbl 1006.03012) 全文: 内政部
哈里斯,肯尼斯;布兰登·费特尔森 Ł\(_{\aleph_0}\)和其他句子逻辑中的分布性。 (英语) Zbl 1006.03010号 J.汽车。推理 27,第2期,141-156(2001).MSC公司:03B35型 03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{K.Harris}和\textit{B.Fitelson},J.Autom。推理27,No.2,141--156(2001;Zbl 1006.03010) 全文: 内政部