盖尼斯·扎兰 关于某些柱形簇中自由代数的原子性。 (英语) Zbl 1216.03067号 日志。J.IGPL公司 19,第1期,44-52(2011).MSC公司:03G15年 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gyenis},日志。J.IGPL 19,第1期,44-52(2011;Zbl 1216.03067) 全文: 内政部 链接
罗杰·马杜克斯。 关系代数。 (英语) Zbl 1197.03051号 逻辑与数学基础研究150.阿姆斯特丹:爱思唯尔(ISBN 978-0-444-52013-5/hbk)。xxvi,第731页。(2006). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:03G15年 03-02 03-03 03B10号机组 03E30年 05年6月 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Maddux},关系代数。阿姆斯特丹:Elsevier(2006;Zbl 1197.03051)
安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;阿尔贝托,Policriti 皮尔士可表达性边缘的初等集合公理。 (英语) Zbl 1100.03042号 J.塞姆。日志。 70,第3期,953-968(2005).MSC公司:03E30年 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}等人,J.Symb。日志。70,第3号,953--968(2005;Zbl 1100.03042) 全文: 内政部
马塞尔·范德维尔 将一阶理论解释为记录逻辑。 (英语) Zbl 1015.03024号 螺柱日志。 72,第3期,411-432(2002).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.van de Vel},螺柱日志。72,第3号,411--432(2002;Zbl 1015.03024) 全文: 内政部
卢·戈尔迪夫 一阶逻辑中的变量紧致性。 (英语) Zbl 0929.03015号 日志。J.IGPL公司 7,第3号,327-357(1999).MSC公司:03B10号机组 03B35型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{L.Gordeev},日志。J.IGPL 7,第3号,327--357(1999;Zbl 0929.03015) 全文: 内政部
史蒂文·吉万特 塔斯基基于关系演算对逻辑和数学的发展。 (英语) Zbl 0784.03004号 代数逻辑。科洛克,布达普/洪。1988年,大学数学。János Bolyai社会54,189-215(1991)。 审核人:U.Bottazini(巴勒莫) MSC公司:03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Givant},大学数学。Soc.János Bolyai萨诺斯·博莱54,189--215(1991;Zbl 0784.03004)
保罗·布鲁姆 代数逻辑在递归查询优化中的应用。 (英语) Zbl 0724.68026号 应用数学与计算,Trans。第八届陆军司令部会议,伊萨卡/纽约州(美国)1990年,ARO报告91-1,637-648(1991年)。MSC公司:第68页,共15页 60年第68季度 03C05号机组 PDF格式BibTeX公司 XML格式