安东尼奥·萨利布拉;安东尼奥·莱达;弗朗西斯科·保利 用二元多项式表示代数的布尔积。 (英语) Zbl 1459.06011号 Czelakowski,Janusz(编辑),Don Pigozzi,关于抽象代数逻辑、泛代数和计算机科学。查姆:斯普林格。Outst公司。控制日志。16, 297-321 (2018).MSC公司:06至75 08A05号 08A30型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Salibra}等人,Outst。控制日志。16、297--321(2018;Zbl 1459.06011) 全文: 内政部 链接
斯特凡诺·邦齐奥;JoséGil-Férez;弗朗西斯科·保利;路易莎·佩鲁齐 关于次协调弱Kleene逻辑:公理化和代数分析。 (英语) Zbl 1417.03191号 双头螺栓日志。 105,第2期,253-297(2017).MSC公司:03B53号 03B50号 03G27号 2012年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{S.Bonzio}等人,研究日志。105,编号2253-297(2017;兹bl 1417.03191) 全文: 内政部 链接