佩雷塔特金，M.G。 有限公理化理论的表达能力。三： 主体结构。 （英语） Zbl 0848.03010号 同胞。高级数学。 131-201（1993）第4期第3条.MSC公司：07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat’kin}，兄弟。高级数学。3，第4号，131--201（1993；Zbl 0848.03010）
佩雷塔特金，M.G。 有限公理化理论的表达能力。二： 刚性准继承。 （英语） Zbl 0848.03009号 同胞。高级数学。 3，第3期，123-145（1993）.MSC公司：07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat’kin}，兄弟。高级数学。3，编号3，123--145（1993；Zbl 0848.03009）
佩雷塔特金，M.G。 有限公理化理论的表达能力。一： 图形的介绍、解释和简化。 （英语） Zbl 0848.03008号 同胞。高级数学。 3，第2期，153-197（1993）.MSC公司：07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat’kin}，兄弟。高级数学。3，第2号，153--197（1993；Zbl 0848.03008）
V.A.托尔斯蒂克。 关于某些无穷维经典群的初等理论。 （英语。俄文原件） Zbl 0833.20002号 俄罗斯数学。 37，第1号，79-81（1993）; Izv的翻译。维什。乌切布。扎韦德。，Mat.1993，第1号，82-84（1993）。MSC公司：20甲15 03C60型 07年3月 20世纪15年代 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tolstykh}，俄罗斯数学。37，第1、1号（1993；Zbl 0833.20002）；Izv的翻译。维什。乌切布。扎韦德。，Mat.1993，No.1，82--84（1993） 全文： 内政部
雷内·莱利 计算作为逻辑。Transl.公司。来自法国的约翰·普莱斯。 （英语） Zbl 0823.03015号 普伦蒂斯·霍尔计算机科学国际系列。海梅尔·亨普斯特德：普伦蒂斯·霍尔。巴黎：Masson，xi，387 p.（1993）。MSC公司：03B70号 68号01 03-01 68-01 03B35型 第68页第15页 68N17号 03B40型 03B10号机组 03C05号机组 07年3月 2012年第68季度 68问题55 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lalement}，计算作为逻辑。Transl.公司。来自法国的约翰·普莱斯。赫梅尔·亨普斯特德：普伦蒂斯·霍尔；巴黎：马森（1993；Zbl 0823.03015）
谢尔盖·沃罗比奥夫。 术语重写系统可以捕获订单吗？ （英语） Zbl 1508.68176号 Rusinovitch，Michaöl（编辑）等人，《条件项重写系统》。第三届国际研讨会，CTRS-92，Pont-a-Mousson，法国，1992年7月8-10日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。656, 315-327 (1993).MSC公司：2012年第68季度 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Vorobyov}，莱克特。注释计算。科学。656315--327（1993；Zbl 1508.68176） 全文： 内政部
沃尔夫冈·托马斯 理论计算机科学中的Ehrenfeucht-Fraíssé博弈（扩展抽象）。 （英语） Zbl 1497.03049号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668, 559-568 (1993).MSC公司：03B70号 03B45号 07年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \给Lect发短信。注释计算。科学。668559-568（1993年；Zbl 1497.03049） 全文： 内政部
Pazdyka，Paweł 具有单一二元关系的模型中模型的一阶编码。 （英语） Zbl 0811.03028号 代表数学。逻辑 27, 45-54 (1993). 审核人：J.M.Plotkin（东兰辛） MSC公司：07年3月 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛P.Pazdyka｝，众议员Math。逻辑27，45--54（1993；Zbl 0811.03028）
M.C.拉斯科夫斯基。;萨拉、撒哈拉 关于原子模型的存在。 （英语） Zbl 0806.03021号 J.塞姆。日志。 58，第4期，1189-1194（1993）.MSC公司：07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Laskowski}和\textit{S.Shelah}，J.Symb。日志。58，第4号，1189--1194（1993；Zbl 0806.03021） 全文： 内政部 arXiv公司
马赫·扎耶德 本原近环不构成公理化类。 （英语） Zbl 0811.16041号 程序。爱丁堡皇家学会。，第节。A类 123，No.2，399-400（1993）. 审核人：J.D.P.梅尔特伦（爱丁堡） MSC公司：2016年30月 2016年60月 16B70型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Zayed}，程序。爱丁堡皇家学会。，第节。A、 数学。123，第2号，399--400（1993；Zbl 0811.16041） 全文： 内政部
科里、雷内;丹尼尔·拉斯卡尔 逻辑数学模型。课程和练习。二： 草书字体、哥德尔字体、乐团字体、模块字体。J.-L.Krivine教授。 （法语） Zbl 0787.0302号 AXIOMES公司。巴黎：马森。xv，347页（1993年）。 审核人：A.M.Coyne（阿什维尔） MSC公司：03-01 03D20日 07年3月 03E30年 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cori}和\textit{D.Lascar}，逻辑数学。课程和练习。二： 草书字体、哥德尔字体、乐团字体、模块字体。J.-L.Krivine教授。巴黎：马森（1993；Zbl 0787.0302）