埃里姆贝托夫,M.M。 算法逻辑语言的模型理论属性。 (俄语) 兹伯利0536.03014 模型理论及其应用,收藏。工艺。,Alma-Ata 1980,3-6(1980)。 审核人:J.兹拉图斯卡 MSC公司:03C07号机组 03B60号 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式
齐尔贝尔,B.I。 对于在所有无穷幂次中都是绝对的理论,有限公理化问题的解决。 (俄语) Zbl 0522.03019号 模型理论及其应用,收藏。工艺。,Alma-Ata 1980,47-60(1980)。MSC公司:03C35号 03C13号机组 03C07号机组 20甲15 03B10号机组 PDF格式BibTeX公司 XML格式
科雷克、伊凡 一阶理论的密度。 (英语) Zbl 0522.03017号 工厂学报。Rerum Nat.Univ.Comenianae,数学。 36, 219-227 (1980).MSC公司:03C07号机组 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{I.Korec},工厂学报。雷尔。科米尼亚纳国立大学数学系。36、219--227(1980;Zbl 0522.03017)