贾格尔,格哈德 在建构主义数学和PROLOG之间。 (英语) Zbl 0754.68029号 架构(architecture)。数学。逻辑 30,编号5-6297-310(1991). 审核人:克鲁森斯基(代尔夫特) MSC公司:68N17号 65楼03号 03B40型 03F40型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},拱门。数学。逻辑30,No.5--6,297--310(1991;Zbl 0754.68029) 全文: 内政部
G.莫兰古。;南图利帕尼。 无限项的量词消去。 (英语) Zbl 0723.03016号 架构(architecture)。数学。逻辑 31,第1期,第1-17页(1991年). 审核人:S.Tulipani公司 MSC公司:03C10号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Morangiu}和\textit{S.Tulipani},拱门。数学。逻辑31,No.1,1--17(1991;Zbl 0723.03016) 全文: 内政部