×

找到89个文档（结果1-89）

最新的 引文 关联
马克西莫娃，L.L。；云，V.F。

非对称逻辑中的克雷格插值性质。 （英语。俄文原件） 兹比尔07825250

同胞。数学。J。 65，编号2，344-350（2024）; 兄弟姐妹的翻译。材料Zh。65，第2期，349-357（2024年）。
MSC公司：03Bxx号 03Cxx号 03Fxx公司
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.65，No.2，344--350（2024；Zbl 07825250）；兄弟姐妹的翻译。材料Zh。65，编号2，349--357（2024）
全文： 内政部
里巴科夫，V.V。

S4.2相关模态逻辑的可接受性和统一性。 （英语。俄文原件） Zbl 07804700号

同胞。数学。J。 65，第1期，167-173（2024）; 兄弟姐妹的翻译。材料Zh。65，第1期，198-206（2024）。
MSC公司：03Bxx号 68次发射 08Bxx年
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.65，No.1，167--173（2024；Zbl 07804700）；兄弟姐妹的翻译。材料Zh。65，第1号，198--206（2024）
全文： 内政部
里巴科夫，V.V。

多代理时态逻辑、统一问题和可接受性。 （英语。俄文原件） Zbl 07566687号

同胞。数学。J。 63，编号4，769-776（2022）; 兄弟姐妹的翻译。材料Zh。63，第4期，924-934（2022）。
MSC公司：03Bxx号 68次发射 68新元
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.63，No.4，769--776（2022；Zbl 07566687）；兄弟姐妹的翻译。材料Zh。63，第4924-934号（2022）
全文： 内政部
马克西莫娃，L.L。；云，V.F。

识别模态逻辑S4上受限插值的算法。 （英语。俄文原件） Zbl 1530.03081号

同胞。数学。J。 63，第2期，286-298（2022）; 兄弟姐妹的翻译。材料Zh。63，第2期，344-359（2022年）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.63，No.2，286--298（2022；Zbl 1530.03081）；兄弟姐妹的翻译。材料Zh。63，编号2，344--359（2022）
全文： 内政部
马克西莫娃，L.L。；云，V.F。

最小逻辑的混合扩展。 （英语。俄文原件） 兹布尔07401182

同胞。数学。J。 62，第5号，876-881（2021）; 兄弟姐妹的翻译。材料Zh。62，第5期，1084-1090（2021）。
MSC公司：03B53号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.62，No.5，876--881（2021；Zbl 07401182）；兄弟姐妹的翻译。材料Zh。62，第5号，1084--1090（2021）
全文： 内政部
里巴科夫，V.V。

具有多代理时间可访问性关系的时间逻辑分支。 （英语。俄文原件） Zbl 1474.68341号

同胞。数学。J。 62，第3期，503-510（2021）; 兄弟姐妹的翻译。材料Zh。62，第3期，623-632（2021年）。
MSC公司：68T27型 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.62，No.3，503--510（2021；Zbl 1474.68341）；兄弟姐妹的翻译。材料Zh。62，第3号，623--632（2021）
全文： 内政部
Aleksandrova，S.A.公司。；北卡罗来纳州巴兹诺夫。

关于列表结构的可判定性。 （英语。俄文原件） Zbl 1481.03029号

同胞。数学。J。 60，第3期，377-388（2019）; 兄弟姐妹的翻译。材料Zh。60，第3期，489-505（2019年）。
MSC公司：05年3月 65年第68季度 03B25号 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Aleksandrova}和\textit{N.A.Bazhenov}，Sib。数学。J.60，No.3，377--388（2019；Zbl 1481.03029）；兄弟姐妹的翻译。材料Zh。60，第3号，489--505（2019）
全文： 内政部
贡查罗夫，S.S。；D.I.斯维里登科。

语义编程中的递归术语。 （英语。俄文原件） Zbl 1486.68041号

同胞。数学。J。 59，第6期，1014-1023（2018）; 兄弟姐妹的翻译。材料Zh。59，第6期，1279-1290（2018）。
MSC公司：68号30 03B70号 03天80 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}和\textit{D.I.Sviridenko}，Sib。数学。J.59，No.6，1014--1023（2018；Zbl 1486.68041）；兄弟姐妹的翻译。材料Zh。59，第6号，1279--1290（2018）
全文： 内政部
马克西莫娃，L.L。；云，V.F。

最小逻辑的扩展和插值问题。 （英语。俄文原件） Zbl 1469.03078号

同胞。数学。J。 59，第4号，681-693（2018）; 兄弟姐妹的翻译。材料Zh。59，第4期，863-878（2018）。
MSC公司：03B53号 03C40号 03B55号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.59，第4号，681--693（2018；Zbl 1469.03078）；兄弟姐妹的翻译。材料Zh。59，第4号，863--878（2018）
全文： 内政部
Aleksandr D.Yashin。；马卡洛夫，A.G。

无反射模态、达米特逻辑和连续链。 （英语。俄文原件） Zbl 1522.03059号

同胞。数学。J。 59，第2期，368-374（2018）; 兄弟姐妹的翻译。材料Zh。59，第2期，468-476（2018）。
MSC公司：03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Yashin}和\textit{A.G.Makarov}，Sib。数学。J.59，No.2，368--374（2018；Zbl 1522.03059）；兄弟姐妹的翻译。材料Zh。59，编号2468-476（2018）
全文： 内政部
马克西莫娃，L.L。；云，V.F。

最小逻辑扩展的切片和级别。 （英语。俄文原件） Zbl 1420.03047号

同胞。数学。J。 58，第6号，1042-1051（2017）; 兄弟姐妹的翻译。材料Zh。58，第6期，1341-1353（2017）。
MSC公司：03B53号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.58，No.6，1042--1051（2017；Zbl 1420.03047）；兄弟姐妹的翻译。材料Zh。58，第6号，1341--1353（2017）
全文： 内政部
弗拉基米尔·里巴科夫。

非传递时间多智能体逻辑、信息和知识、决策算法。 （英语。俄文原件） Zbl 1420.03060号

同胞。数学。J。 58，第5号，875-886（2017）; 兄弟姐妹的翻译。材料Zh。58，第5期，1128-1143（2017）。
MSC公司：03B70号 03B44号 68T27型 03B25号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.58，第5号，875--886（2017；Zbl 1420.03060）；兄弟姐妹的翻译。材料Zh。58，第5号，1128--1143（2017）
全文： 内政部
V.Ya，Bloshchitsyn。；蒂莫申科，E.I。

部分交换metabelian群的普遍理论之间的比较。 （英语。俄文原件） Zbl 1400.20021号

同胞。数学。J。 58，第3期，382-391（2017）; 兄弟姐妹的翻译。材料Zh。58，第3期，497-509（2017）。
MSC公司：20F05型 20E10年 05C25号 20层70 03B10号机组 03C60型 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{V.Ya.Bloshchitsyn}和\textit{E.I.Timoshenko}，Sib。数学。J.58，No.3，382--391（2017；Zbl 1400.20021）；兄弟姐妹的翻译。材料Zh。58，第3号，497--509（2017）
全文： 内政部
Pal’chunov博士。；特罗菲莫夫。

具有有限宽可分辨稠密子代数的有限可轴化超原子布尔代数。 （英语。俄文原件） Zbl 1403.06021号

同胞。数学。J。 57，第6号，1066-1076（2016）; 兄弟姐妹的翻译。材料Zh。57，第6期，1361-1375（2016）。
MSC公司：06E25年 03元50分 03C60型 03B25号 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{D.E.Pal’chunov}和\textit{A.V.Trofimov}，Sib。数学。J.57，No.6，1066--1076（2016；Zbl 1403.06021）；兄弟姐妹的翻译。材料Zh。57，第6号，1361--1375（2016）
全文： 内政部
马克西莫娃，L.L。；Yun，Veta F。

最小逻辑上的表格问题。 （英语。俄文原件） Zbl 1420.03024号

同胞。数学。J。 57，第6期，1034-1043（2016）; 兄弟姐妹的翻译。材料Zh。57，第6期，1320-1332（2016）。
MSC公司：03B25号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.57，No.6，1034--1043（2016；Zbl 1420.03024）；兄弟姐妹的翻译。材料Zh。57，第6号，1320--1332（2016）
全文： 内政部
马克西莫娃，L.L。；云，V.F。

最小逻辑和Odintsov区间上的插值。 （英语。俄文原件） Zbl 1351.03018号

同胞。数学。J。 56，第3期，476-489（2015）; 兄弟姐妹的翻译。材料Zh。56，第3期，600-616（2015）。
MSC公司：03B53号 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.56，No.3，476--489（2015；Zbl 1351.03018）；兄弟姐妹的翻译。材料Zh。56，第3号，600--616（2015）
全文： 内政部
Luk'yanchuk，A.N。；里巴科夫，V.V。

知识与时间线性逻辑中的可容许推理规则{LTK}_r\)具有不及物时间关系。 （英语。俄文原件） Zbl 1342.03019号

同胞。数学。J。 56，第3期，455-470（2015）; 兄弟姐妹的翻译。材料Zh。56，第3期，573-593（2015）。
审核人：雅罗斯拉夫·什兰科（Kryvyi Rih）
MSC公司：03B45 03B44号 03B42号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Luk’yanchuk}和\textit{V.Rybakov}，Sib。数学。J.56，No.3，455--470（2015；Zbl 1342.03019）；兄弟姐妹的翻译。材料Zh。56，第3号，573--593（2015）
全文： 内政部
亚辛，A.D。

非自反情态是达米特逻辑中的一种新的逻辑连接词。 （英语。俄文原件） Zbl 1521.03040号

同胞。数学。J。 55，第1期，185-190（2014）; 兄弟姐妹的翻译。材料Zh。55，第1期，228-234（2014）。
MSC公司：03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Yashin}，兄弟。数学。J.55，No.1，185--190（2014；Zbl 1521.03040）；兄弟姐妹的翻译。材料Zh。55，第1号，228--234（2014）
全文： 内政部
马克西莫娃，L.L。

Grzegorczyk逻辑的Lyndon性质和一致插值。 （英语。俄文原件） Zbl 1521.03034号

同胞。数学。J。 55，第1期，118-124（2014）; 兄弟姐妹的翻译。材料Zh。55，第1期，147-156（2014）。
MSC公司：03B45 03B20型 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}，西布。数学。J.55，No.1，118--124（2014；Zbl 1521.03034）；兄弟姐妹的翻译。材料Zh。55，第1号，147--156（2014）
全文： 内政部
Luk'yanchuk，A.N。；里马茨基，V.V。

知识与时间线性逻辑的公理化{LTK}_r\)具有不及物时间关系。 （英语。俄文原件） 兹伯利1348.03018

同胞。数学。J。 54，第6期，1037-1045（2013）; 兄弟姐妹的翻译。材料Zh。54，第6期，1304-1314（2013）。
MSC公司：03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛A.N.Luk'yanchuk｝和\textit｛V.V.Rimatskiĭ｝，兄弟姐妹。数学。J.54，No.6，1037--1045（2013；Zbl 1348.03018）；兄弟姐妹的翻译。材料Zh。54，第6号，1304--1314（2013）
全文： 内政部
马克西莫娃，L.L。

组成良好的J逻辑中Craig插值性质的可判定性。 （英语。俄文原件） 兹比尔1285.03030

同胞。数学。J。 53，第5号，839-852（2012）; 兄弟姐妹的翻译。材料Zh。53，第5期，1048-1064（2012）。
MSC公司：03C40号 03B25号 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}，西布。数学。J.53，No.5，839--852（2012；Zbl 1285.03030）；兄弟姐妹的翻译。材料Zh。53，第5号，1048--1064（2012）
全文： 内政部
M.N.莱昂蒂耶娃。

布尔代数某些可判定条件的极小性。 （英语。俄文原件） Zbl 1252.03095号

同胞。数学。J。 第1号第53页，第106-118页（2012年）; 兄弟姐妹的翻译。材料Zh。53，第1期，第132-147页（2012年）。
MSC公司：03C57号 03B25号 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Leontyeva}，Sib。数学。J.53，No.1，106--118（2012；Zbl 1252.03095）；兄弟姐妹的翻译。材料Zh。53，第1号，132--147（2012）
全文： 内政部
安德烈·莫罗佐夫。；波诺马里耶夫，Denis K。

关于有限理论可分解问题的可判定性。 （英语。俄文原件） Zbl 1226.03022号

同胞。数学。J。 51，第4期，667-674（2010）; 兄弟姐妹的翻译。材料Zh。51，第4期，838-847（2010年）。
审核人：奈尔·扎莫夫（喀山）
MSC公司：03B25号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Morozov}和\textit{D.K.Ponomaryov}，Sib。数学。J.51，No.4，667--674（2010；Zbl 1226.03022）；兄弟姐妹的翻译。材料Zh。51，No.4，838--847（2010）
全文： 内政部
波波夫，V.Yu。

满足置换恒等式的各种半群的临界理论。 （英语。俄文原件） Zbl 0966.03009号

同胞。数学。J。 42，第1期，134-136（2001）; 兄弟姐妹的翻译。材料Zh。42，第1期，153-155（2001）。
审核人：A.S.莫罗佐夫（新西伯利亚）
MSC公司：03B25号 2007年7月20日
PDF格式BibTeX公司 XML格式引用
\textit{V.Yu.Popov}，Sib（西布）。数学。J.42，No.1，153--155（2001；Zbl 0966.03009）；兄弟姐妹的翻译。材料Zh。42，第1期，153--155（2001）
全文： 内政部 欧洲DML
V.R.基亚特金。

表前模态逻辑PM1中的元变量和逻辑方程的推理规则。 （英语。俄文原件） Zbl 0966.03019号

同胞。数学。J。 41，第1期，74-80（2000）; 兄弟姐妹的翻译。材料Zh。41，第1期，88-97（2000）。
审核人：A.S.莫罗佐夫（新西伯利亚）
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{V.R.Kiyatkin}，西布。数学。J.41，No.1，88--97（2000；Zbl 0966.03019）；兄弟姐妹的翻译。材料Zh。41，第1号，88--97（2000）
全文： 内政部 欧洲DML
波波夫，V.Yu。

关于单词问题和等式理论的可判定性之间的联系。 （英语。俄文原件） Zbl 0957.03012号

同胞。数学。J。 41，第5期，921-923（2000）; 兄弟姐妹的翻译。材料Zh。41，第5期，1122-1125（2000）。
审核人：A.N.里亚斯金（新西伯利亚）
MSC公司：03B25号 13升05 03天35分 03D40号
PDF格式BibTeX公司 XML格式引用
\textit｛V.Yu.Popov｝，兄弟姐妹。数学。J.41，No.5，1122--1125（2000；Zbl 0957.03012）；兄弟姐妹的翻译。材料Zh。41，第5号，1122--1125（2000）
全文： 内政部 欧洲DML
Shrejner，P.A.公司。

关于关于有限域的Kripke框架完备的直觉主义逻辑片段。 （英语。俄文原件） Zbl 0947.03009号

同胞。数学。J。 41，第2期，389-396（2000）; 兄弟姐妹的翻译。材料Zh。41，第2期，470-479（2000）。
审核人：A.S.莫罗佐夫（新西伯利亚）
MSC公司：03B20型
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Shrejner}，西布。数学。J.41，No.2，470--479（2000；Zbl 0947.03009）；兄弟姐妹的翻译。材料Zh。41，第2号，470--479（2000）
全文： 欧洲DML
波波夫，V.Yu。

关于有限环类的方程理论。 （英语。俄文原件） Zbl 0924.03015号

同胞。数学。J。 40，第3期，556-564（1999）; 兄弟姐妹的翻译。材料Zh。40，第3期，650-659（1999年）。
审核人：A.S.莫罗佐夫（新西伯利亚）
MSC公司：03B25号 08B05号 2010年1月20日 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{V.Yu.Popov}，Sib（西布）。数学。J.40，第3号，650--659（1999；Zbl 0924.03015）；兄弟姐妹的翻译。材料Zh。40，第3号，650--659（1999）
全文： 内政部
亚辛，A.D。

关于Gabbay逻辑的一个扩展。 （英语。俄文原件） Zbl 0937.03035号

同胞。数学。J。 39，第1期，198-208（1998）; 兄弟姐妹的翻译。材料Zh。39，第1期，224-235（1998年）。
审核人：S.Odintsov（新西伯利亚）
MSC公司：03B55号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Yashin}，兄弟。数学。J.39，No.1，224--235（1998；Zbl 0937.03035）；兄弟姐妹的翻译。材料Zh。39，第1号，224--235（1998）
全文： 内政部
蒂什科夫斯基，D.E。

插值性质与超直觉谓词逻辑。 （英语。俄文原件） 兹伯利0914.03029

同胞。数学。J。 39，第1期，151-158（1998）; 兄弟姐妹的翻译。材料Zh。39，第1期，172-180（1998年）。
审核人：S.Odintsov（新西伯利亚）
MSC公司：03B55号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{D.E.Tishkovskij}，西博。数学。J.39，No.1，172--180（1998；Zbl 0914.03029）；兄弟姐妹的翻译。材料Zh。39，第1号，172--180（1998）
松树，A.G。

关于集上偏序半格的初等理论。 （英语。俄文原件） Zbl 0902.06003号

同胞。数学。J。 39，第3期，510-511（1998年）; 兄弟姐妹的翻译。材料Zh。39，第3期，590-592（1998年）。
审核人：A.N.里亚斯金（新西伯利亚）
MSC公司：2012年1月6日 03B15号机组 06年06月06日
PDF格式BibTeX公司 XML格式引用
\textit{A.G.松树}，Sib。数学。J.39，第3号，590--592（1998；Zbl 0902.06003）；兄弟姐妹的翻译。材料Zh。39，第3号，590--592（1998）
全文： 内政部
瓦西尔埃夫，S.N。

一种综合Horn和其他一些公式的演绎条件的方法。 （英语。俄文原件） Zbl 1042.03527号

同胞。数学。J。 38，第5期，896-906（1997）; 兄弟姐妹的翻译。材料Zh。38，第5期，1034-1046（1997）。
MSC公司：03B70号 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.N.Vasil’ev}，西布。数学。J.38，No.5，1034--1046（1997；Zbl 1042.03527）；兄弟姐妹的翻译。材料Zh。38，第5号，1034--1046（1997）
全文： 内政部
沙布宁，L.V。

关于Cantor簇的有限表示和自由代数。 （英语。俄文原件） Zbl 1042.08501号

同胞。数学。J。 38，第2期，389-400（1997）; 兄弟姐妹的翻译。材料Zh。38，第2期，450-462（1997）。
MSC公司：08B20号 03B25号 08A50号
PDF格式BibTeX公司 XML格式引用
\textit{L.V.Shabunin}，西布。数学。J.38，No.2，450-462（1997；Zbl 1042.08501）；兄弟姐妹的翻译。材料Zh。38，第2期，第450-462页（1997年）
全文： 内政部
马克西莫娃，L.L。

某些模态逻辑中隐式可定义对象的显式定义。 （英语。俄文原件） Zbl 0936.03020号

同胞。数学。J。 38，第3期，513-517（1997）; 兄弟姐妹的翻译。材料Zh。38，第3期，598-602（1997年）。
审核人：A.N.里亚斯金（新西伯利亚）
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}，西布。数学。J.38，No.3，513--517（1997；Zbl 0936.03020）；兄弟姐妹的翻译。材料Zh。38，第3号，598--602（1997）
全文： 内政部
Yashin，医学博士。

直觉命题逻辑中的一个新的正则常数。 （英语。俄文原件） Zbl 0876.03005号

同胞。数学。J。 37，第6期，1242-1258（1996）; 兄弟姐妹的翻译。材料Zh。37，第6期，1413-1432（1996）。
审核人：A.陶兹（塔林）
MSC公司：03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Yashin}，兄弟。数学。J.37，No.6，1242--1258（1996；Zbl 0876.03005）；兄弟姐妹的翻译。材料Zh。37，第6期，1413-1432（1996）
全文： 内政部
波波夫，V.Yu。

交换结合环簇的超簇的临界理论。 （英语。俄文原件） Zbl 0857.17004号

同胞。数学。J。 36，第6期，1184-1193（1995）; 兄弟姐妹的翻译。材料Zh。36，第6期，1364-1374（1995）。
审核人：B.Vernikov（叶卡捷琳堡）
MSC公司：17A30型 03B25号 17世纪99年代 2017年05月
PDF格式BibTeX公司 XML格式引用
\textit{V.Yu.Popov}，Sib（西布）。数学。J.36，No.6，1184--1193（1995；Zbl 0857.17004）；兄弟姐妹的翻译。材料Zh。第6期第36页，第1364-1374页（1995年）
全文： 内政部
马克西莫娃，L.L。

模态逻辑K4正规扩展中Beth定理的模拟。 （英语。俄文原件） Zbl 0834.03005号

同胞。数学。J。 33，第6期，1052-1065（1992）; 兄弟姐妹的翻译。材料Zh。33，第6期，第118-130页（1992年）。
MSC公司：03B45 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}，西布。数学。J.33，No.6，1052--1065（1992；Zbl 0834.03005）；兄弟姐妹的翻译。材料Zh。33，第6号，118--130（1992）
全文： 内政部
里巴科夫，V.V。

模态系统Grz和直觉逻辑中逻辑方程的可解性。 （英语。俄文原件） Zbl 0742.03005号

同胞。数学。J。 32，第2期，297-308（1991年）; 兄弟姐妹的翻译。材料Zh。32，第2期（186），140-153（1991）。
MSC公司：03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.32，No.2，297--308（1991；Zbl 0742.03005）；兄弟姐妹的翻译。材料Zh。32，第2号（186），140--153（1991）
全文： 内政部
Muravitskij，A.Yu。

Magari和（Delta）-伪布尔代数。 （英语。俄文原件） Zbl 0721.06014号

同胞。数学。J。 31，No.4，623-628（1990）; 兄弟姐妹的翻译。材料Zh。31，第4号（182），111-117（1990）。
审核人：L.Esakia（第比利斯）
MSC公司：06D20日 03G25号 03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Muravitskij}，Sib（妹妹）。数学。J.31，No.4，623--628（1990；Zbl 0721.06014）；兄弟姐妹的翻译。材料Zh。31，第4号（182），111-117（1990）
全文： 内政部
陶茨，A。

超限阶无限非经典逻辑的伪布尔模型编码。 （英语。俄文原件） Zbl 0713.03016号

同胞。数学。J。 31，第1期，128-136（1990）; 兄弟姐妹的翻译。材料Zh。31，第1号（179），150-160（1990）。
MSC公司：03立方厘米75 03B15号机组 03C85号
PDF格式BibTeX公司 XML格式引用
\textit{A.Tauts}，兄弟。数学。J.31，No.1，128--136（1990；Zbl 0713.03016）；兄弟姐妹的翻译。材料Zh。31，第1号（179），150-160（1990）
全文： 内政部
巴亚斯加兰，B。

子半群格的初等理论的可判定性。 （英语。俄文原件） Zbl 0709.03004号

同胞。数学。J。 31，第1号，21-26（1990）; 兄弟姐妹的翻译。材料Zh。31，第1号（179），27-33（1990）。
审核人：M.特鲁米什维利
MSC公司：03B25号 2007年7月20日 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{B.Bayasgalan}，锡伯。数学。J.31，第1号，21-26（1990年；Zbl 0709.03004）；兄弟姐妹的翻译。材料Zh。31，第1号（179），27-33（1990）
全文： 内政部
科米奇，V.I。

超直觉命题演算的性质。 （英语。俄文原件） Zbl 0749.03012号

同胞。数学。J。 31，No.6，1013-1026（1990）; 兄弟姐妹的翻译。材料Zh。31，第6号（184），158-175（1990）。
审核人：V.V.Rybakov（克拉斯诺亚尔斯克）
MSC公司：03B55号
PDF格式BibTeX公司 XML格式引用
\textit{V.I.Khomich}，西布。数学。J.31，No.6，1013--1026（1990；Zbl 0749.03012）；兄弟姐妹的翻译。材料Zh。31，第6号（184），158--175（1990）
全文： 内政部
马克西莫娃，L.L。

具有插值性质的可证明模态逻辑的正规扩张的连续统。 （英语。俄文原件） Zbl 0709.03011号

同胞。数学。J。 30，第6期，935-944（1989）; 兄弟姐妹的翻译。材料Zh。30，第6号（178），122-131（1989）。
审核人：博里奇奇
MSC公司：03B45 03F40型 03C40号 06E25年
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}，西布。数学。J.30，No.6，935--944（1989；Zbl 0709.03011）；兄弟姐妹的翻译。材料Zh。30，第6号（178），122--131（1989）
全文： 内政部 欧洲DML
A.G.米亚斯尼科夫。

局部环上模的初等理论。 （英语。俄文原件） Zbl 0703.03016号

同胞。数学。J。 30，第3期，403-412（1989）; 兄弟姐妹的翻译。材料Zh。30，第3号（175），72-83（1989）。
MSC公司：03C60型 13升05 03B25号 2018年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Myasnikov}，西布。数学。J.30，No.3，403--412（1989；Zbl 0703.03016）；兄弟姐妹的翻译。材料Zh。30，第3号（175），72--83（1989）
全文： 内政部
斯科沃尔佐娃，E.Z。

通过梅德韦杰夫格的初始段忠实地解释直觉命题演算。 （英语。俄文原件） Zbl 0661.03003号

同胞。数学。J。 29，第1期，133-139（1988）; 兄弟姐妹的翻译。材料Zh。29，第1号（167），171-178（1988）。
MSC公司：03B20型 03G10年
PDF格式BibTeX公司 XML格式引用
\textit{E.Z.Skvortsova}，锡伯。数学。J.29，No.1，133--139（1988；Zbl 0661.03003）；兄弟姐妹的翻译。材料Zh。29，第1号（167），171--178（1988）
全文： 内政部
马加佐夫，S.S。

确定性在数据库查询语言中的作用。 （英语。俄文原件） Zbl 0659.68124号

同胞。数学。J。 28，编号1-2257-262（1987）; 兄弟姐妹的翻译。材料Zh。28，第2期（162），100-106（1987）。
MSC公司：68第20页 03B60号 03B45 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Magazov}，西布。数学。J.28，No.1--2，257--262（1987；Zbl 0659.68124）；兄弟姐妹的翻译。材料Zh。28，第2号（162），100-106（1987）
全文： 内政部
Z.A.杜拉托娃。

具有局部有限自同构群的布尔代数理论。 （英语。俄文原件） Zbl 0633.03003号

同胞。数学。J。 第3期第28页，第424-425页（1987年）; 兄弟姐妹的翻译。材料Zh。28，第3号（163），89-90（1987）。
审核人：L.Esakia公司
MSC公司：03B25号 03C65号 99年6月
PDF格式BibTeX公司 XML格式引用
\textit{Z.A.Dulatova}，Sib。数学。J.28，No.3，424--425（1987；Zbl 0633.03003）；兄弟姐妹的翻译。材料Zh。28，第3号（163），89-90（1987）
全文： 内政部
穆西卡耶夫，I.Kh。

一种不确定的程序逻辑。 （英语。俄文原件） Zbl 0623.03030号

同胞。数学。J。 27, 914-919 (1986); 兄弟姐妹的翻译。材料Zh。27，第6号（160），157-162（1986）。
审核人：A.P.斯托尔布什金
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Kh.Musikaev}，锡伯。数学。J.27，914--919（1986；Zbl 0623.03030）；兄弟姐妹的翻译。材料Zh。27，第6号（160），157--162（1986）
全文： 内政部
松树。

代数系统布尔幂的应用。 （英语。俄文原件） Zbl 0592.03009号

同胞。数学。J。 26400-407（1985年）; 兄弟姐妹的翻译。材料Zh。26，第3期（151），117-125（1985）。
审核人：A.沃伊切霍夫斯卡
MSC公司：03B25号 03C15号 08B10号 03C52号
PDF格式BibTeX公司 XML格式引用
\textit{A.G.松树}，Sib。数学。J.26，400--407（1985；Zbl 0592.03009）；兄弟姐妹的翻译。材料Zh。26，第3号（151），117-125（1985）
全文： 内政部
松树。

微积分与初等等价的量词。 （英语。俄文原件） Zbl 0536.03020号

同胞。数学。J。 24, 428-432 (1984); 兄弟姐妹的翻译。材料Zh。24，第3期（139），136-141（1983）。
审核人：D.蒙迪奇
MSC公司：03C80号 03B25号 03C85号 03C95号
PDF格式BibTeX公司 XML格式引用
\textit{A.G.松树}，Sib。数学。J.24，428-432（1984；Zbl 0536.03020）；兄弟姐妹的翻译。材料Zh。24，第3号（139），136-141（1983）
全文： 内政部
于瓦贞宁（音）。M。

具有一个定义关系的半群，其基本理论是可解的。 （英语。俄文原件） Zbl 0549.20036号

同胞。数学。J。 24, 33-41 (1983); 兄弟姐妹的翻译。材料Zh。24，第1期（137），40-49（1983）。
审核人：青年成就组织。亨诺
MSC公司：2005年5月20日 03B25号
PDF格式BibTeX公司 XML格式引用
\textit｛Yu.M.Vazhenin｝，兄弟姐妹。数学。J.24，33-41（1983；Zbl 0549.20036）；兄弟姐妹的翻译。材料Zh。24，第1号（137），40-49（1983）
全文： 内政部
伊万诺夫，A.A。

广义演算中的一些定理。 （英语。俄文原件） Zbl 0543.03021号

同胞。数学。J。 24, 868-876 (1983); 兄弟姐妹的翻译。材料Zh。24，第6期（142），56-65（1983）。
审核人：S.R.科加洛夫斯基
MSC公司：03C80号 03C10号机组 03B25号 08C10号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Ivanov}，Sib。数学。J.24，868--876（1983；Zbl 0543.03021）；兄弟姐妹的翻译。材料Zh。24，第6号（142），56-65（1983）
全文： 内政部

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段