S.I.马尔达耶夫。 S4和Int中正格式的收敛性。 (英语。俄文原件) Zbl 0815.03009号 代数逻辑 33,第2期,95-101(1994); 翻译自《代数逻辑》33,第2期,166-178(1994)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},代数逻辑33,第2期,166--178(1994;Zbl 0815.03009);《代数逻辑学》第33卷第2期第166--178页的译文(1994年) 全文: 内政部 欧洲DML
S.I.马尔达耶夫。 Gödel-Löb逻辑中的最小不动点。 (英语。俄文原件) Zbl 0815.03008号 代数逻辑 32,第6期,372-375(1993); 翻译自《代数逻辑》32,第6期,683-689(1993)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},代数逻辑32,No.6683--689(1993;Zbl 0815.03008);《代数逻辑学》第32卷第6期第683--689页(1993)的译文 全文: 内政部
S.I.马尔达耶夫。 Grzegorczyk逻辑和直觉主义命题逻辑中的最小不动点。 (英语。俄文原件) Zbl 0815.03007号 代数逻辑 32,第5号,279-288(1993年); 《代数逻辑学》32、5、5、519-536(1993)的译本。MSC公司:03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},代数逻辑32,No.5,519--536(1993;Zbl 0815.03007);《代数逻辑》32、5、5、519-536(1993)译本 全文: 内政部
S.I.马尔达耶夫。 模态方案的不动点。 (英语。俄文原件) Zbl 0795.03038号 代数逻辑 31,第5期,292-295(1992); 《代数逻辑学》第31卷第5期第493-498页(1992年)的译文。MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},《代数逻辑》31,第5期,第1页(1992;Zbl 0795.03038);《代数逻辑学》第31卷第5期第493-498页(1992年)的译文 全文: 内政部
S.I.马尔达耶夫。 蕴涵格和超直觉逻辑的嵌入。 (英语。俄文原件) Zbl 0661.03016号 代数逻辑 26,第3期,178-205(1987); 摘自《代数逻辑学》26,第3期,318-357(1987)。MSC公司:03B55号 03G10年 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},《代数逻辑》26,第3期,178-205(1987;Zbl 0661.03016);《代数逻辑学》26,第3期,318-357(1987)的译文 全文: 内政部
S.I.马尔达耶夫。 预局部表超直觉命题逻辑的个数。 (英语。俄文原件) Zbl 0583.03016号 代数逻辑 23, 56-66 (1984); 翻译自《代数逻辑》23,第1期,74-87(1984)。MSC公司:03B55号 03G10年 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Mardaev},代数逻辑23,56-66(1984;Zbl 0583.03016);《代数逻辑学》第23卷第1期、第74-87页(1984年)的译文 全文: 内政部 欧洲DML