马克西莫娃。;E.奥洛斯卡。 格代数和逻辑中的Beth性质和插值。 （俄语、英语） Zbl 1164.03320号 代数逻辑卡 47，第3号，307-334（2008）; 代数逻辑翻译47，第3期，176-192（2008）。MSC公司：03C40号 03B20型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}和\textit{E.Orlowska}，代数逻辑47，No.3，307--334（2008；Zbl 1164.03320）；代数逻辑翻译47，第3期，176--192（2008） 全文： 内政部
V.F.穆尔齐纳。 不受与Ershov空间相关的时态计算的插值特性的限制。 （俄语、英语） Zbl 1164.03322号 代数逻辑卡 46，第6号，745-762（2007）; 代数逻辑翻译46，第6期，409-418（2007）。MSC公司：03C40号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Murzina}，代数逻辑学46，No.6，745--762（2007；Zbl 1164.03322）；代数逻辑翻译46，第6期，409--418（2007） 全文： 内政部
马克西莫娃。 在最小逻辑的次一致扩张中证明插值的一种方法。 （俄语、英语） Zbl 1164.03312号 代数罗技卡 46，第5期，627-648（2007）; 代数逻辑翻译46，第5期，341-353（2007）。MSC公司：03B53号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》46，第5期，627--648（2007；Zbl 1164.03312）；代数逻辑翻译46，第5期，341--353（2007） 全文： 内政部
A.B.Gordienko。 Sylvan逻辑的次协调扩展。 （俄语、英语） Zbl 1164.03311号 代数逻辑卡 46，第5期，533-547（2007）; 代数逻辑翻译46，第5期，289-296（2007）。MSC公司：03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Gordienko}，《代数逻辑》46，第5期，533--547（2007；Zbl 1164.03311）；代数逻辑翻译46，第5期，289--296（2007） 全文： 内政部
Shrajner，P.A.公司。 模态计算中插值的自动识别。 （俄语、英语） Zbl 1164.03301号 代数逻辑卡 46，第1期，103-119（2007）; 代数逻辑翻译46，第1期，62-70（2007）。MSC公司：03B35型 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Shrajner}，《代数逻辑学》46，第1期，第103-119页（2007；Zbl 1164.03301）；代数逻辑翻译46，第1期，62-70（2007） 全文： 内政部
Zeeval'd，O.V.公司。 带有模态的模糊逻辑。 （俄语、英语） 兹比尔1164.03310 代数逻辑卡 45，第6期，731-757（2006）; 代数逻辑翻译45，第6期，415-430（2006）。MSC公司：03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛O.V.Zeeval’d｝，代数Logika 45，第6期，731–757（2006年；Zbl 1164.03310）；代数逻辑翻译45，第6期，415--430（2006） 全文： 内政部
Odintsov，S.P。 次协调Nelson逻辑扩展的转移定理。 （俄语、英语） Zbl 1115.03017号 代数逻辑卡 45，第4期，409-435（2006）; 代数逻辑翻译45，第4期，232-247（2006）。MSC公司：03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov}，代数逻辑45，No.4，409--435（2006；Zbl 1115.03017）；代数逻辑翻译45，第4期，232--247（2006） 全文： 内政部
马克西莫娃。 正逻辑和相关逻辑中的射影Beth性质和插值。 （俄语、英语） Zbl 1119.03026号 代数逻辑卡 45，第1期，85-113（2006）; 代数逻辑翻译45，第1期，49-66（2006）。MSC公司：03C40号 03B60号 03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》45，第1期，85-113（2006；Zbl 1119.03026）；代数逻辑翻译45，第1期，49-66（2006） 全文： 内政部
马克西莫娃。 最小逻辑扩展中的插值和可定义性。 （俄语、英语） Zbl 1106.03023号 代数罗技卡 44，第6期，726-750（2005）; 代数逻辑翻译44，第6期，407-421（2005）。MSC公司：03B53号 03C40号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑》44，第6期，726--750（2005；Zbl 1106.03023）；代数逻辑翻译44，第6期，407-421（2005） 全文： 内政部
V.F.穆尔齐纳。 对于严格线性有序的（A）模型而言是完整的一种模态逻辑。 （俄语、英语） Zbl 1106.03015号 代数逻辑卡 44，第5期，560-582（2005）; 代数逻辑翻译44，第5期，313-325（2005）。MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Murzina}，代数逻辑学44，No.5，560--582（2005；Zbl 1106.03015）；代数逻辑翻译44，第5期，313--325（2005） 全文： 内政部
梅德韦杰夫，N.Ya。 交换群的（l）-理想格的初等理论。 （俄语、英语） Zbl 1101.06012号 代数逻辑卡 44，第5期，540-559（2005）; 代数逻辑翻译44，第5期，302-312（2005）。MSC公司：20层06 03B25号 03C64号 20层60 PDF格式BibTeX公司 XML格式引用 \textit{N.Ya.Medvedev}，《代数逻辑》44，第5期，540-559（2005；Zbl 1101.06012）；代数逻辑翻译44，第5期，302-312（2005） 全文： 内政部
科舍列娃，A.V。 某些S5逻辑中推理规则的可容许性问题的判定。 （俄语、英语） Zbl 1106.03013号 代数逻辑卡 44，第4期，438-458（2005）; 代数逻辑翻译44，第4期，243-255（2005）。MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Kosheleva}，《代数逻辑》44，第4期，438--458（2005；Zbl 1106.03013）；代数逻辑翻译44，第4期，243-255（2005） 全文： 内政部
马克西莫娃。 S4正常扩展中的可定义性。 （俄语、英语） Zbl 1115.03018号 代数逻辑卡 43，第4期，387-410（2004）; 代数逻辑翻译43，第4期，217-229（2004）。MSC公司：03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》43，第4期，387--410（2004；Zbl 1115.03018）；代数逻辑翻译43，第4期，217--229（2004） 全文： 内政部
S.I.马尔达耶夫。 时态模型中的固定点。 （俄语、英语） Zbl 1097.03014号 代数逻辑卡 43，第5号，589-602（2004）; 代数逻辑翻译43，第5期，331-338（2004）。 审核人：安德烈·莫罗佐夫（新西伯利亚） MSC公司：03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev}，《代数逻辑学》第43卷，第5期，第589-602页（2004；Zbl 1097.03014）；代数逻辑翻译43，第5期，331-338（2004） 全文： 内政部
斯图卡切娃，M.V。 极小逻辑的次一致扩张类的析取性质。 （俄语、英语） Zbl 1061.03032号 代数逻辑卡 43，第2期，235-252（2004）; 代数逻辑翻译43，第2期，132-141（2004）。 审核人：S.P.Odintsov（新西伯利亚） MSC公司：03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Stukacheva}，《代数逻辑学》第43卷第2期，第235-252页（2004年；Zbl 1061.03032）；代数逻辑翻译43，第2期，132--141（2004）
亚辛，A.D。 Novikov-complete逻辑：翻译技巧。 （俄语、英语） Zbl 1061.03021号 代数逻辑卡 43，第3期，364-378（2004）; 代数逻辑翻译43，第3期，205-214（2004）。 审核人：A.S.Morozov（新西伯利亚） MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}，《代数逻辑学》43，第3期，364--378（2004；Zbl 1061.03021）；代数逻辑翻译43，第3期，205-214（2004）
亚辛，A.D。 具有额外逻辑常数的Novikov完备逻辑的分类。 （俄语、英语） Zbl 1034.03009号 代数逻辑卡 42，第3期，366-383（2003）; 《代数逻辑》第42卷第3207-216期（2003年）的翻译。 审核人：A.S.Morozov（新西伯利亚） MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}，代数逻辑42，No.3，366--383（2003；Zbl 1034.03009）；代数逻辑翻译42，第3期，207--216（2003） 全文： 欧洲DML
马克西莫娃。 隐含可定义性和积极逻辑。 （俄语、英语） Zbl 1034.03008号 代数逻辑卡 42，第1期，65-93（2003）; 代数逻辑翻译42，第1期，37-53（2003）。 审核人：A.S.Morozov（新西伯利亚） MSC公司：03B20型 03B25号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑》42，第1期，65-93（2003；Zbl 1034.03008）；《代数逻辑翻译》42，第1期，37-53（2003） 全文： 欧洲DML
V.F.穆尔齐纳。 基于线性有序空间的模态逻辑。 （俄语、英语） Zbl 1032.03010号 代数逻辑卡 42，第3期，320-337（2003）; 代数逻辑翻译42，第3期，181-191（2003）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Murzina}，代数逻辑学42，No.3，320-337（2003；Zbl 1032.03010）；代数逻辑翻译42，第3期，181--191（2003） 全文： 欧洲DML
萨芬，K.L。;苏哈诺夫，E.V。 没有投影的迭代代数。 （俄语、英语） Zbl 1028.08001号 代数逻辑卡 42，第1期，107-122（2003）; 《代数逻辑》第42卷第1期第61-69页（2003年）的翻译。MSC公司：08A40号 03B50号 20毫米 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Safin}和\textit{E.V.Sukhanov}，《代数逻辑学》42，第1期，107-122（2003；Zbl 1028.08001）；代数逻辑翻译42，第1期，61-69（2003） 全文： 欧洲DML
雷巴科夫。 Barwise的信息框架和模态逻辑。 （俄语、英语） Zbl 1019.03017号 代数逻辑卡 41，第5期，585-609（2002）; 代数逻辑翻译41，第5期，323-336（2002）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，《代数逻辑学》41，第5期，585--609（2002；Zbl 1019.03017）；代数逻辑翻译41，No.5，323--336（2002） 全文： 欧洲DML 链接
Selivanov，V.L。 正则非周期语言层次的判定性。 （俄语、英语） Zbl 1019.03028号 代数逻辑卡 41，第5期，610-631（2002）; 代数逻辑翻译41，第5期，337-348（2002）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：05年3月 65年第68季度 03D55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}，代数逻辑学41，No.5，610--631（2002；Zbl 1019.03028）；代数逻辑翻译41，第5期，337--348（2002） 全文： 欧洲DML 链接
S.I.马尔达耶夫。 最小不动点的定义。 （俄语、英语） Zbl 1016.03019号 代数逻辑卡 41，第4期，429-458（2002）; 代数逻辑翻译41，第4期，237-253（2002）。 审核人：A.N.Ryaskin（新西伯利亚） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev}，《代数逻辑学》41，第4期，429--458（2002；Zbl 1016.03019）；代数逻辑翻译41，第4期，237--253（2002） 全文： 欧洲DML
Yashin，医学博士。 用直觉主义原型解释直觉主义命题逻辑。 （俄语、英语） Zbl 1010.03007号 代数逻辑卡 41，第1期，104-113（2002）; 代数逻辑翻译41，第1期，59-64（2002）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}，代数逻辑41，No.1，104--113（2002；Zbl 1010.03007）；代数逻辑翻译41，第1期，59-64（2002） 全文： 欧洲DML
雷巴科夫。;V.R.基亚特金。;Oner，T。 容许推理规则的剩余有限性。 （俄语、英语） Zbl 0989.03015号 代数逻辑卡 40，第5期，593-618（2001）; 代数逻辑翻译40，第5期，334-347（2001）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}等人，《代数逻辑》40，第5期，593--618（2001；Zbl 0989.03015）；代数逻辑翻译40，第5期，334--347（2001） 全文： 欧洲DML
马克西莫娃。 Heyting代数簇射影Beth性质的可判定性。 （俄语、英语） Zbl 0989.03025号 代数逻辑卡 40，第3期，290-301（2001）; 代数逻辑翻译40，第3期，159-165（2001）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B55号 06D20日 03G25号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑》40，第3期，290--301（2001；Zbl 0989.03025）；代数逻辑翻译40，第3期，159-165（2001） 全文： 欧洲DML
蒂什科夫斯基，D.E。 超直觉谓词逻辑某些性质的代数对应。 （俄语、英语） 兹伯利0983.03019 代数逻辑卡 40，第2期，218-242（2001）; 代数逻辑翻译40，第2期，122-134（2001）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：03B55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Tishkovskij}，《代数逻辑》40，第2期，218--242（2001；Zbl 0983.03019）；代数逻辑翻译40，第2期，122-134（2001） 全文： 欧洲DML
波波夫，V.Yu。 有限半群类的方程理论。 （英语。俄文原件） Zbl 0966.08006号 代数逻辑卡 40，第1期，97-116（2001）; 代数逻辑翻译40，第1期，55-66（2001）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：08B05号 03B25号 2007年7月20日 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Popov}，《代数逻辑》40，第1期，97--116（2001；Zbl 0966.08006）；代数逻辑翻译40，第1期，55-66（2001） 全文： 欧洲DML
雷巴科夫。;特齐勒，M。;V.V.里马茨基。 用半约简形式描述直觉逻辑推理规则的基。 （英语。俄文原件） Zbl 0973.03009号 代数逻辑卡 39，第6期，720-740（2000）; 代数逻辑翻译39，第6期，412-422（2000）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}等人，代数逻辑39，No.6，720--740（2000；Zbl 0973.03009）；代数逻辑翻译39，No.6，412--422（2000） 全文： 欧洲DML
Yu Nagrebetskaya。五、。 环和环上矩阵环的边界等价。 （英语。俄文原件） Zbl 0974.03009号 代数逻辑卡 39，第6号，693-710（2000）; 代数逻辑翻译39，第6期，396-406（2000）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：03B25号 03C57号 16B70型 16S50型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Nagrebetskaya}，代数逻辑39，No.6，693--710（2000；Zbl 0974.03009）；代数逻辑翻译39，No.6，396--406（2000） 全文： 欧洲DML
O.V.贝尔格莱德克。 带有不可判定词问题的剩余有限结合代数。 （英语。俄文原件） Zbl 0973.16001号 代数逻辑卡 39，第4期，441-451（2000）; 代数逻辑翻译39，第4期，252-258（2000）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：16B70型 03D40号 03B25号 第16章第15节 第16页第10页 PDF格式BibTeX公司 XML格式引用 \textit{O.V.Belegradek}，代数逻辑学39，No.4，441--451（2000；Zbl 0973.16001）；代数逻辑翻译39，第4期，252--258（2000） 全文： 欧洲DML
Yu Nagrebetskaya。五、。 整矩阵群和幺半群的一阶理论的可判定性。 （英语。俄文原件） Zbl 0956.03005号 代数逻辑卡 39，第4期，480-504（2000）; 代数逻辑翻译39，第4期，276-291（2000）。 审核人：A.N.Ryaskin（新西伯利亚） MSC公司：03B25号 2010年1月20日 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Nagrebetskaya}，代数逻辑39，No.4，480--504（2000；Zbl 0956.03005）；《代数逻辑》第39卷第4期第276-291页（2000年） 全文： 欧洲DML
雷巴科夫。;V.R.基亚特金。;特齐勒，M。 漂亮逻辑中可接受规则的独立基础。 （英语。俄文原件） Zbl 0953.03032号 代数逻辑卡 第2期第39页，206-226页（2000年）; 代数逻辑翻译39，第2期，119-130（2000）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B60号 03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}等人，《代数逻辑》39，第2期，206-226（2000；Zbl 0953.03032）；代数逻辑翻译39，No.2，119--130（2000） 全文： 欧洲DML
于瓦贞宁（音）。M。;波波夫，V.Yu。 一些幂零群和可解群的判定边界。 （英语。俄文原件） Zbl 0958.20027号 代数逻辑卡 39，第2期，127-133（2000）; 代数逻辑翻译39，第2期，73-77（2000）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：2010年1月20日 03B25号 20E10年 20英尺16英寸 2018年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{Yu.M.Vazhenin}和\textit{V.Yu.Popov}，代数逻辑学39，No.2，127--133（2000；Zbl 0958.20027）；代数逻辑翻译39，No.2，73--77（2000） 全文： 欧洲DML
V.A.戈尔布诺夫。;A.V.克拉夫琴科。 代数系统的泛霍恩类和反簇。 （英语。俄文原件） 兹比尔0953.03038 代数逻辑卡 39，第1期，3-22（2000）; 代数逻辑翻译39，第1期，1-11（2000）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：03C05号机组 03C57号 08C15号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Gorbunov}和\textit{A.V.Kravchenko}，代数逻辑39，No.1，3--22（2000；Zbl 0953.03038）；代数逻辑翻译39，No.1，1--11（2000） 全文： 欧洲DML
马克西莫娃。 超直觉逻辑与射影Beth性质。 （英语。俄文原件） Zbl 0965.03037号 代数逻辑卡 38，第680-696号（1999年）; 代数逻辑翻译38，第6期，374-382（1999）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》38，第6期，680--696（1999；Zbl 0965.03037）；代数逻辑翻译38，第6期，374--382（1999） 全文： 欧洲DML
S.I.马尔达耶夫。 模态正算子。 （英语。俄文原件） Zbl 0932.03019号 代数逻辑卡 38，第5期，585-597（1999）; 代数逻辑翻译38，第5期，319-325（1999）。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev}，《代数逻辑学》38，第5期，585--597（1999；Zbl 0932.03019）；代数逻辑翻译38，第5期，319--325（1999） 全文： 欧洲DML
V.V.里马茨基。 宽度为2的模态逻辑关于可容许性的有限基。 （英语。俄文原件） Zbl 0930.03020号 代数逻辑卡 38，第436-455号（1999年）; 代数逻辑翻译38，第4期，237-247（1999）。MSC公司：03B45号 03G25号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rimatskij}，《代数逻辑学》38，第4期，436--455（1999；Zbl 0930.03020）；代数逻辑翻译38，第4期，237--247（1999）
A.克伦。 T.S.第一个四重奏的语义学。艾略特。 （英语。俄文原件） Zbl 0930.03019号 代数逻辑卡 38，第4期，383-408（1999）; 《代数逻辑》第38卷第4209-222期（1999年）的翻译。MSC公司：03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kron}，代数逻辑38，第4期，383--408（1999；Zbl 0930.03019）；代数逻辑翻译38，第4期，209--222（1999） 全文： 欧洲DML
马克西莫娃。 模态逻辑和超直觉逻辑中的投射Beth性质。 （英语。俄文原件） Zbl 0930.03018号 代数逻辑卡 38，第3号，316-333（1999）; 代数逻辑翻译38，第3期，171-180（1999）。 审核人：D.E.Tishkovsky（新西伯利亚） MSC公司：03B45号 03B55号 03G25号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》38，第3期，316-333（1999；Zbl 0930.03018）；代数逻辑翻译38，第3期，171-180（1999） 全文： 欧洲DML
沙布宁，L.V。 康托变种中自由代数的基本等价。 （英语。俄文原件） Zbl 0924.08008号 代数逻辑卡 38，第2期，228-248（1999）; 《代数逻辑》第38卷第2期第121-133页（1999年）的翻译。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：08C10号 03B25号 08A50号 08B05号 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Shabunin}，《代数逻辑学》38，第2期，228--248（1999；Zbl 0924.08008）；代数逻辑翻译38，第2期，121--133（1999） 全文： 欧洲DML
蒂什科夫斯基，D.E。 超直觉谓词逻辑的代数语义。 （英语。俄文原件） Zbl 0924.03112号 代数逻辑卡 38，第1号，68-95（1999）; 代数逻辑翻译38，第1期，36-50（1999）。 审核人：S.P.Odintsov（新西伯利亚） MSC公司：03G25号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Tishkovskij}，《代数逻辑学》38，第1期，68-95（1999；Zbl 0924.03112）；代数逻辑翻译38，第1期，36--50（1999） 全文： 欧洲DML
Shrajner，P.A.公司。 没有Beth属性的中间谓词逻辑。 （英语。俄文原件） Zbl 0937.03034号 代数逻辑卡 37，第1期，第107-117页（1998年）; 代数逻辑翻译37，第1期，59-64（1998）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Shrajner}，《代数逻辑学37》，第1期，第107-117页（1998；Zbl 0937.03034）；代数逻辑翻译37，No.1，59-64（1998） 全文： 欧洲DML
S.I.马尔达耶夫。 负模态方案。 （英语。俄文原件） Zbl 0914.03021号 代数逻辑卡 37，第3期，第329-337页（1998年）; 《代数逻辑》37的英文翻译，第3期，187-191（1998）。 审核人：S.Odintsov（新西伯利亚） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev}，《代数逻辑学》37，第3期，329--337（1998；Zbl 0914.03021） 全文： 欧洲DML
Alekseev，P.A。;M.I.Golovanov。 关于多模逻辑的容许规则{S} 5_n个\文本{C}\）。 （英语。俄文原件） Zbl 0969.03029号 代数罗技卡 36，第5期，483-493（1997）; 代数逻辑翻译36，第5期，281-287（1997）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Alekseev}和\textit{M.I.Golovanov}，《代数逻辑学》36，第5期，第1页（1997；Zbl 0969.03029）；代数逻辑翻译36，第5期，281--287（1997） 全文： 欧洲DML
马克西莫娃。 等式超直觉谓词逻辑中的插值。 （英语。俄文原件） Zbl 0969.03044号 代数逻辑卡 36，第5期，543-561（1997）; 代数逻辑翻译36，第5期，319-329（1997）。MSC公司：03B55号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》36，第5期，第1页（1997；Zbl 0969.03044）；代数逻辑翻译36，第5期，319--329（1997） 全文： 欧洲DML
F.沃尔特。;Zakharyashchev，M。 直觉主义模态逻辑与经典模态逻辑的关系。 （英语。俄文原件） Zbl 0937.03033号 代数罗技卡 36，第2期，121-155（1997）; 代数逻辑翻译36，第2期，73-92（1997）。 审核人：A.N.里亚斯金（新西伯利亚） MSC公司：03B55号 03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit｛F.Wolter｝和\textit｛M.Zakharyashchev｝，代数逻辑36，编号2121-155（1997；Zbl 0937.03033）；代数逻辑翻译36，第2期，73-92（1997）
于尔肖夫（Yu Ershov）。L。 不错的本地全球油田。二、。 （英语。俄文原件） Zbl 0968.12003号 代数逻辑卡 35，编号503-528（1996）; 代数逻辑翻译35，第5期，281-295（1996）。MSC公司：12升05 03C10号机组 03C65号 03C60型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，《代数逻辑学》35，第5期，第1页（1996；Zbl 0968.12003）；代数逻辑翻译35，第5期，281--295（1996） 全文： 欧洲DML
V.V.里马茨基。 深度2的表格模态逻辑中可接受推理规则的基础。 （英语。俄文原件） Zbl 0972.03020号 代数逻辑卡 35，第5期，612-622（1996）; 代数逻辑翻译35，第5期，344-349（1996）。MSC公司：03B45号 06E25年 08B20号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rimatskij}，《代数逻辑学》35，第5期，第1页（1996；Zbl 0972.03020）；代数逻辑翻译35，第5期，344--349（1996）
于尔肖夫（Yu Ershov）。L。 不错的本地全球油田。一、。 （英语。俄文原件） Zbl 0968.12002号 代数逻辑卡 35，第411-423号（1996年）; 代数逻辑翻译35，第4期，229-235（1996）。MSC公司：12升05 03B25号 03C10号机组 03C65号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，《代数逻辑学》35，第4期，第1页（1996；Zbl 0968.12002）；代数逻辑翻译35，第4期，229--235（1996） 全文： 欧洲DML
Shrajner，P.A.公司。 某些谓词超直觉逻辑中缺少插值。 （英语。俄文原件） Zbl 0897.03022号 代数逻辑 35，第1号，59-65（1996）; 摘自《代数逻辑》35，第1期，第105-117页（1996年）。 审核人：Miodrag Kapetanović（贝尔格莱德） MSC公司：03B55号 03C40号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Shrajner}，《代数逻辑学》35，第1期，第105-117页（1996；Zbl 0897.03022）；《代数逻辑》35的译文，第1期，第105-117页（1996） 全文： 欧洲DML
Zakhar'yashchev，M.V.公司。 包含S4的模态逻辑的语法和语义。 （俄语） Zbl 0686.03010号 代数逻辑卡 27，第6号，659-689（1988）. 审核人：G.薄荷 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Zakhar'yashchev}，代数逻辑学27，No.6，659--689（1988；Zbl 0686.03010） 全文： 欧洲DML
马克西莫娃。 可证明逻辑无限层扩展中的插值。 （俄语） Zbl 0681.03006号 代数逻辑卡 27，第5号，581-603（1988）. 审核人：S.Artemov公司 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛L.L.Maksimova｝，代数Logika 27，编号581-603（1988；Zbl 0681.03006） 全文： 欧洲DML
特罗平，M.P。 没有拟恒等式有限基的伪布尔代数和拓扑布尔代数的最小共序。 （俄语） Zbl 0661.03048号 代数逻辑卡 27，第2期，201-220（1988）. 审核人：V.V.雷巴科夫 MSC公司：03G10年 03B10号机组 08C15号 03B45号 06D20日 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Tropin}，代数逻辑学27，第2期，201-220（1988；Zbl 0661.03048） 全文： 欧洲DML
阮文浩 关于多值逻辑中函数系统的L-等价性。 （俄语） Zbl 0653.03016号 代数逻辑卡 27，第1号，37-47（1988）. 审核人：B.塔尔海姆 MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Nguyen Van Hoa}，代数逻辑27，No.1，37-47（1988；Zbl 0653.03016） 全文： 欧洲DML
S.I.马尔达耶夫。 蕴涵格与超直觉逻辑的嵌入。 （俄语） Zbl 0649.03012号 代数逻辑卡 26，第3期，318-357（1987）. 审核人：L.Esakia公司 MSC公司：03B55号 03G10年 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev}，《代数逻辑》26，第3期，318--357（1987；Zbl 0649.03012） 全文： 欧洲DML
于瓦贞宁（音）。M。 算法问题和一阶语言的层次结构。 （俄语） Zbl 0647.03006号 代数罗技卡 26，第4期，419-434（1987）. 审核人：N.两者 MSC公司：03B25号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit｛Yu.M.Vazhenin｝，代数Logika 26，第419-434号（1987；Zbl 0647.03006） 全文： 欧洲DML
于尔肖夫（Yu Ershov）。L。 具有弱泛Galois群的正则r-闭域。 （俄语） Zbl 0574.12024号 代数逻辑卡 23，第6期，637-669（1984）. 审核人：J.Mo\`ckoř MSC公司：12升12 12升05 12月15日 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑学23，No.6，637--669（1984；Zbl 0574.12024） 全文： 欧洲DML
雷巴科夫。 有限模态代数拟恒等式的基础。 （俄语） Zbl 0507.08005号 代数逻辑卡 21，第2期，219-227（1982）.MSC公司：08B05号 08C15号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，《代数逻辑》21，第2期，219--227（1982；Zbl 0507.08005） 全文： 欧洲DML
雷巴科夫。 表前模态逻辑的可容许规则。 （俄语） Zbl 0489.03005号 代数逻辑卡 20, 440-464 (1981).MSC公司：03B45号 03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑20，440--464（1981；Zbl 0489.03005） 全文： 欧洲DML
Muravitskij，A.Yu。 直觉Kripke模型与资产等延逻辑的强等价性。 （俄语） Zbl 0486.03015号 代数逻辑卡 20, 165-182 (1981).MSC公司：03B55号 03B45号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Muravitskij}，代数逻辑学20，165--182（1981；Zbl 0486.03015） 全文： 欧洲DML
马克西莫娃。 U.ber eine Klassifikation der modalen Logiken公司。 （俄语） Zbl 0436.03012号 代数逻辑卡 18, 328-340 (1979).MSC公司：03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑18，328--340（1979；Zbl 0436.03012）
马克西莫娃。 插值modalen Logiken和amalgamierbare Varietyäten von topobooleschen Algebren中的词组。 （俄语） Zbl 0436.03011号 代数逻辑卡 18, 556-586 (1979).MSC公司：03B45号 99年6月 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑18，556--586（1979；Zbl 0436.03011）
佩雷塔特金，M.G。 齐次模型强可构造性的判据。 （俄语） Zbl 0431.03021号 代数逻辑卡 17, 436-454 (1978).MSC公司：03C65号 03D99号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat'kin}，代数逻辑17，436--454（1978；Zbl 0431.03021） 全文： 欧洲DML
雷巴科夫。 莫代尔Logiken mit LM-Axiomen。 （俄语） Zbl 0417.03007号 代数逻辑卡 17, 455-467 (1978).MSC公司：03B45号 03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑17，455--467（1978；Zbl 0417.03007）
扎米亚丁，A.P。 Eine nichtabelsche Gruppenmannigfaltigkeit认为，没有任何不符合理论的要素。 （俄语） Zbl 0408.03011号 代数逻辑卡 1978年2月17日至27日.MSC公司：03B25号 03B30型 2010年1月20日 20E10年 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Zamyatin}，代数逻辑17，20--27（1978；Zbl 0408.03011）
Danil’chenko，A.F。 在dreiwertigen Logik的Funktitonen中使用参数化软件Ausdrückbarkeit。 （俄语） Zbl 0423.03020号 代数逻辑卡 16, 397-416 (1977).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Danil'chenko}，代数逻辑16，397--416（1977；Zbl 0423.03020）
雷巴科夫。 逻辑S4的非紧凑扩展。 （俄语） Zbl 0406.03039号 代数逻辑卡 16, 472-490 (1977).MSC公司：03B45号 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑16，472--490（1977；Zbl 0406.03039） 全文： 欧洲DML
马克西莫娃。 Aussagenlogiken的Trennung der Variablen王子。 （俄语） Zbl 0354.02021号 代数逻辑卡 15, 168-184 (1976).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑15，168--184（1976；Zbl 0354.02021）
斯洛博德斯科伊，A.M。;E.I.弗里德曼。 Unlösbare universelle Theorien der Untergruppenverbände abelscher Gruppen。 （俄语） Zbl 0348.02042号 代数罗技卡 15, 227-234 (1976).MSC公司：03B25号 03C60型 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Slobodskoi}和\textit{E.I.Fridman}，代数逻辑15，227--234（1976；Zbl 0348.02042）
斯洛博德斯科伊，A.M。;E.I.弗里德曼。 如果你是理论家abelscher Gruppen mit Prädikaten，那就去死吧。 （俄语） Zbl 0347.02037号 代数逻辑卡 14, 572-575 (1975).MSC公司：03C60型 03B25号 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Slobodskoi}和\textit{E.I.Fridman}，代数逻辑学14，572--575（1975；Zbl 0347.02037）
V.I.Mart'janov。 U-ber die Theorye der abelschen Gruppen mit Prädikaten，die die Untergruppen abgrenzen，und Endomorphismenoperationen。 （俄语） 兹伯利0347.02036 代数逻辑卡 14, 536-542 (1975).MSC公司：03C60型 03B25号 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Mart'janov}，代数逻辑学14，536--542（1975；Zbl 0347.02036）
北卡罗来纳州贝尔亚金。 广义计算和三阶算法。 （俄语） Zbl 0296.02023号 代数逻辑卡 132-144年（1974年）.MSC公司：03D99号 03C60型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Belyakin}，代数逻辑13，132--144（1974；Zbl 0296.02023） 全文： 欧洲DML
南达科他州杰尼索夫。 Drei Sätzeüber要素是理论和教育市场。 （俄语） Zbl 0289.02036号 代数逻辑卡 13, 5-8 (1974).MSC公司：03B25号 03日30分 03C68号 51A45型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.杰尼索夫}，代数逻辑13，5--8（1974；Zbl 0289.02036）
扎米亚丁，A.P。 Quasimannigfaltigkeiten von Halbgruppen，deren elementare Theorye entscheidbar ist.（准曼尼法提基登·冯·哈尔布格鲁彭，德伦元素是理论的一部分。）。 （俄语） Zbl 0287.02031号 代数逻辑卡 12, 417-432 (1973).MSC公司：03B25号 20M99型 03C60型 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Zamyatin}，代数逻辑12，417--432（1973；Zbl 0287.02031）
于尔肖夫（Yu Ershov）。L。 Skolemsche Funktitonen和konstruktive模型。 （俄语） Zbl 0287.02024号 代数罗技卡 12, 644-654 (1973).MSC公司：03D60年 03B99号 03D99号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit｛Yu.L.Ershov｝，代数Logika 12644-654（1973；Zbl 0287.02024）
Goncharov，S.S。;Nurtazin，A.T。 Konstruktive Modelle vollständig auflösbarer理论。 （俄语） Zbl 0278.02038号 代数逻辑卡 12, 125-142 (1973).MSC公司：03D99号 03C99号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}和\textit{A.T.Nurtazin}，代数逻辑12，125--142（1973；Zbl 0278.02038）
南达科他州杰尼索夫。 模型widerspruchsfreier Formeln und die Ersovsche Hierarchie。 （俄语） Zbl 0268.02028号 代数逻辑卡 11, 648-655 (1972).MSC公司：03D55号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.D.杰尼索夫}，代数逻辑11，648--655（1972；Zbl 0268.02028）
马克西莫娃。 Vortabellierte超直觉主义Logiken。 （俄语） 2018年02月65日Zbl 代数逻辑卡 11, 558-570 (1972).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑11，558--570（1972；Zbl 0265.02018）
马克西莫娃。 解释和分离——E-und den r-Kalkül。 （俄语） Zbl 0242.02028 代数逻辑卡 10, 376-392 (1971).MSC公司：03B45号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑10，376--392（1971；Zbl 0242.02028）
科兹洛夫，G.T。 有限Abelian p-群子群格的初等理论的不可判定性。 （俄语） Zbl 0222.02055号 代数逻辑卡 9, 167-171 (1970).MSC公司：03天35分 03B25号 20E15年 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Kozlov}，代数逻辑9，167--171（1970；Zbl 0222.02055）
Tajtslin，医学硕士。 关于子群格的初等理论。 （俄语） Zbl 0221.02033号 代数逻辑卡 9, 473-483 (1970).MSC公司：03B25号 20E15年 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Tajtslin}，代数逻辑9，473--483（1970；Zbl 0221.02033）
马克西莫娃。 优步电子理论。 （俄语） Zbl 0217.00802号 代数逻辑卡 9530-538（1970年）.MSC公司：03英镑05 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑9，530--538（1970；Zbl 0217.00802）
洛杉矶博库特。 Unentscheidbarkit gewisser算法解决了Klasse der assoziative Ringe中的问题。 （俄语） Zbl 0216.01001号 代数逻辑卡 9, 137-144 (1970).MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Bokut'}，代数逻辑9，137--144（1970；Zbl 0216.01001）
于古瑞奇（Yu Gurevich）。第。 谓词逻辑和操作逻辑的决策问题。（Entscheidbarkeitsproblem für die Prädikaten-und Operatorenlogik.） （俄语） Zbl 0198.32501号 代数逻辑卡 8, 284-308 (1969). 审核人：余。Sh.Gurevich先生 MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.Sh.Gurevich}，代数逻辑8，284--308（1969；Zbl 0198.32501）
艾哈迈德·沙法特 泰马诺夫的一篇论文上的评论。 （英文） Zbl 0195.01804号 代数罗技卡 8, 373-374 (1969).MSC公司：03B25号 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{A.Shafaat}，代数逻辑8，373--374（1969；Zbl 0195.01804） 全文： 欧洲DML
Tajtslin，医学硕士。 位于Polynomringen的Über Primideller。 （俄语） Zbl 0218.02043号 代数逻辑卡 7，第6号，64-66（1968）.MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit｛M.A.Tajtslin｝，代数Logika 7，编号6，64-66（1968；Zbl 0218.02043）
马克西莫娃。 E-演算模型。 （俄语） Zbl 0223.02016 代数逻辑卡 6，第6号，5-20（1967）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑6，No.6，5--20（1967；Zbl 0223.02016） 全文： 欧洲DML
于尔肖夫（Yu Ershov）。L。 关于极大赋范域的基本理论。三、。 （俄语） Zbl 0159.34002号 代数逻辑卡 6，第3号，31-38（1967）. 审核人：亚历山德鲁·布列祖列努（布库雷什蒂） MSC公司：12升05 12J05型 03B25号 03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑学6，No.3，31-38（1967；Zbl 0159.34002） 全文： 链接
于尔肖夫（Yu Ershov）。L。 关于极大赋范域的基本理论。二、。 （俄语。英文摘要） 兹比尔0283.02039 代数逻辑卡 第5期，第1期，第5-40页（1966年）.MSC公司：03B25号 12J05型 12升05 03C60型 03C35号 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑学5，No.1，5--40（1966；Zbl 0283.02039）
A.I.马尔塞夫。 迭代代数与Postsche Mannigfaltigkeiten。 （俄语） Zbl 0275.08001号 代数逻辑卡 第5期第2期第5-24页（1966年）.MSC公司：08B20号 05年3月 03B50号 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Mal'tsev}，代数逻辑学5，No.2，5--24（1966；Zbl 0275.08001）
Tajtslin，医学硕士。 最基本的要素是基尔松的哈勃格鲁彭理论。 （俄语） Zbl 0253.02047号 代数逻辑卡 第5期，第1期，第51-69页（1966年）.MSC公司：03C60型 03B25号 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Tajtslin}，代数逻辑5，No.1，51--69（1966；Zbl 0253.02047）
于尔肖夫（Yu Ershov）。L。 Neue Beispile永无止境地进行理论研究。 （俄语） Zbl 0253.02046号 代数逻辑卡 5，第5号，第37-47页（1966年）.MSC公司：03B25号 05年6月 20世纪15年代 16-00 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑5，No.5，37-47（1966；Zbl 0253.02046）
于古瑞奇（Yu Gurevich）。秒。 Existielle解释。 （俄语） 兹比尔0294.02023 代数逻辑卡 4，第4号，71-85（1965）.MSC公司：03B25号 03C60型 03D25号 20A10年 06年06月06日 05年6月 13升05 PDF格式BibTeX公司 XML格式引用 \textit{Yu.S.Gurevich}，代数逻辑4，No.4，71-85（1965；Zbl 0294.02023）
于尔肖夫。L。 关于极大赋范域的基本理论。二、。 （俄语） Zbl 0274.02023号 代数逻辑卡 第4期，第6期，第47-48页（1965年）. 审核人：R.Finkelstein（R.P.Steiner）（MR 33.5619） MSC公司：03B25号 12J05型 12升05 12L99型 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑学4，No.6，47-48（1965；Zbl 0274.02023）
于尔肖夫（Yu Ershov）。L。 关于极大赋范域的基本理论。 （俄语） Zbl 0274.02022号 代数逻辑卡 4，第3号，31-70（1965）. 审核人：R.Finkelstein（R.P.Steiner）（MR 33.1307） MSC公司：03B25号 12升05 12J05型 03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑学4，No.3，31-70（1965；Zbl 0274.02022）
于尔肖夫（Yu Ershov）。L。 这些元素都是Theorien lokaler Körper。 （俄语） 兹比尔0274.02021 代数逻辑卡 4，第2期，第5-30页（1965年）.MSC公司：03C60型 03B25号 12升05 03B99号 PDF格式BibTeX公司 XML格式引用 \textit｛Yu.L.Ershov｝，代数Logika 4，编号2，5-30（1965；Zbl 0274.02021）
Tajtslin，医学硕士。 最终划分理论。 （俄语） Zbl 0216.29202号 代数逻辑卡 4，第4号，第103-114页（1965年）.MSC公司：03B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Tajtslin}，代数逻辑4，No.4，103--114（1965；Zbl 0216.29202）
于尔肖夫（Yu Ershov）。L。 Entscheidbarkeit einiger nichtelementarer理论。 （俄语） Zbl 0276.02030号 代数逻辑卡 3，第2号，45-47（1964）.MSC公司：03B25号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑3，No.2，45-47（1964；Zbl 0276.02030） 全文： 欧洲DML
Tajtslin，医学硕士。 Entscheidbarkeit einiger elementare Theoryen（理论）。 （俄语） Zbl 0212.33201号 代数逻辑卡 3，第3号，5-12（1964）.MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Tajtslin}，代数逻辑3，No.3，5--12（1964；Zbl 0212.33201）