阿尔特·卡奇,哈桑;安德烈亚斯·波德尔斯基;塞斯·科本·戈尔茨坦 有序特征理论的统一。 (英语) Zbl 0884.68025号 J.日志。程序。 30,第2期,99-124(1997).MSC公司:68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}等人,J.Log。程序。30,第2号,99--124(1997;Zbl 0884.68025) 全文: 内政部
阿尔特·卡奇,哈桑;安德烈亚斯·波德尔斯基 走向生命的意义。 (英语) Zbl 0782.68022号 J.日志。程序。 16,第3-4号,195-234(1993).MSC公司:68甲15 68N17号 68吨99 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{A.Podelski},J.Log。程序。16,编号3-4195-234(1993年;Zbl 0782.68022) 全文: 内政部