弗拉基米尔·伊万诺维奇·沙拉克 图灵可计算性模型的自然推广。 (俄语。英文摘要) Zbl 07793830号 日志。伊斯斯莱德。 29,第2号,9-35(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。29,编号2,9--35(2023;Zbl 07793830) 全文: DOI程序
弗拉基米尔·伊万诺维奇·沙拉克 目的论和目标导向行为:逻辑分析。 (俄语。俄文原件) Zbl 07664471号 日志。伊斯斯莱德。 28,第2号,9-39(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。28,编号2,9-39(2022;Zbl 07664471) 全文: DOI程序
沙拉克,弗拉基米尔·伊万诺维奇 过程本体中的逻辑。 (俄语。英文摘要) Zbl 07642564号 日志。伊斯斯莱德。 27,第2号,48-65(2021).MSC公司:03B45号 03B60号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalak},日志。伊斯斯莱德。27,第2号,48-65(2021;Zbl 07642564) 全文: DOI程序
弗拉基米尔·伊万诺维奇·沙拉克 实体本体论和过程本体论的比较逻辑分析。 (俄语。英文摘要) Zbl 1509.03023号 日志。伊斯斯莱德。 26,第2期,58-86(2020年).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalak},日志。伊斯斯莱德。26,第2号,58--86(2020;Zbl 1509.03023) 全文: DOI程序
弗拉基米尔·沙拉克。 皮尔士的论文:逻辑分析和本体论后果。 (俄语。英文摘要) Zbl 1446.03023号 日志。伊斯斯莱德。 25,第2期,138-163(2019).MSC公司:03B10号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。25,第2号,138--163(2019;Zbl 1446.03023) 全文: 链接
弗拉基米尔·伊万诺维奇·沙拉克 分析与演绎。 (俄语。英文摘要) 兹比尔1431.03073 日志。伊萨德。 24,第1号,26-45(2018).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalak},日志。伊斯斯莱德。24、1号、26-45(2018;Zbl 1431.03073) 全文: DOI程序
弗拉基米尔·伊万诺维奇·沙拉克 \(\lambda\)-项之间的弱结果关系。 (俄语。英文摘要) 兹比尔1431.03027 日志。伊斯斯莱德。 24,第2期,151-157(2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalak},日志。伊斯斯莱德。24,第2号,151--157(2018;Zbl 1431.03027) 全文: DOI程序
弗拉基米尔·伊万诺维奇·沙拉克 对A.Tamminga的论文“强三值逻辑的对应分析”的一些评论。 (英语) Zbl 1388.03027号 日志。伊斯斯莱德。 23,第2期,96-97(2017).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。23,第2号,96-97(2017;Zbl 1388.03027) 全文: DOI程序
弗拉基米尔·伊万诺维奇·沙拉克 解决问题的分析方法。 (俄语。英文摘要) Zbl 1417.03117号 日志。伊斯斯莱德。 第121-139号第23页(2017年).MSC公司:03A10号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。23,第1号,121--139(2017;Zbl 1417.03117) 全文: DOI程序
弗拉基米尔·伊万诺维奇·沙拉克 关于可以用定义表示的一阶理论。 (英语) Zbl 1392.03019号 日志。伊斯斯莱德。 第1125-135号第22页(2016年).MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。22,第1号,第125--135条(2016;Zbl 1392.03019)
弗拉基米尔·伊万诺维奇·沙拉克 关于一些初等代数理论在一阶谓词演算中的定义嵌入性。 (英语) Zbl 1370.03013号 日志。伊斯斯莱德。 21,第2期,15-20(2015).MSC公司:03B10号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。21、第2号、第15--20号(2015;Zbl 1370.03013)
弗拉基米尔·伊万诺维奇·沙拉克 关于组合逻辑理论在一阶谓词演算中的定义嵌入性。 (英语) Zbl 1370.03023号 日志。伊斯斯莱德。 21,第2期,9-14(2015).MSC公司:03B40型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。21,编号2,9-14(2015;兹bl 1370.03023)
弗拉基米尔·沙拉克 关于一些可用定义表示的应用一阶理论。 (英语) Zbl 1357.03037号 牛市。第节。日志。,大学后勤部。 44,第1-2、19-24号(2015).MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Shalack},公牛。第节。日志。,大学后勤部。44,编号1-2,19-24(2015;兹bl 1357.03037) 全文: 链接
弗拉基米尔·沙拉克。 逻辑的符号学基础。 (英语) Zbl 1273.03054号 Karpenko,A.S.(编辑),Logicheskie issledovaniya。19.莫斯科:Tsentr Gumanitarnykh Initsiativ(ISBN 978-5-98712-143-6/hbk)。225-237 (2013).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},in:罗切斯基issledovaniya。19.莫斯科:Tsentr Gumanitarnykh Initsiativ。225-237(2013;Zbl 1273.03054)
弗拉基米尔·沙拉克 关于关系语言和函数语言。 (英语) Zbl 1261.03053号 日志。日志。菲洛斯。 21,第1号,25-32(2012).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{V.Shalack},日志。日志。菲洛斯。21、1号、25-32(2012;Zbl 1261.03053)