薄荷,G.E。 具有选择公理的二阶经典逻辑的范式定理。 (俄语) Zbl 0654.03041号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 52,第3期,581-600(1988年). 审核人:G.薄荷 MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖},伊兹夫。阿卡德。Nauk SSSR,序列号。材料52,编号3,581--600(1988;Zbl 0654.03041)
A.A.Tverskoj。 不可构造的形式算术结构。 (俄语) Zbl 0646.03053号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 51,第1期,111-130(1987). 审核人:M.特鲁米什维利 MSC公司:30楼03号 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \文本{A.A.Tverskoj},Izv。阿卡德。Nauk SSSR,序列号。材料51,编号1,111--130(1987;Zbl 0646.03053)
Bozhich,E.S。 关于“可及数”概念的算术。 (俄语) Zbl 0634.03059号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 50,第6期,1123-1155(1986). 审核人:M.Tetruašvili先生 MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Bozhich},伊兹夫。阿卡德。Nauk SSSR,序列号。材料50,编号6,1123--1155(1986;Zbl 0634.03059)
格里戈列夫,D.Yu。 代数闭域一阶理论可判定性的复杂性。 (俄语) Zbl 0625.03004号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 50,第5期,1106-1120(1986). 审核人:N.L.马内夫 MSC公司:03B25号 2005年12月 03C10号机组 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev},伊兹夫。阿卡德。Nauk SSSR,序列号。材料50,编号5,1106--1120(1986;Zbl 0625.03004)
阿特莫夫,S.N。 模态逻辑公理化可证明性。 (俄语) Zbl 0598.03012号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 49,第6期,1123-1154(1985).MSC公司:03B45 07年3月 30楼03号 03楼50 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{S.N.Artemov},Izv。阿卡德。Nauk SSSR,序列号。材料49,编号6,1123--1154(1985;Zbl 0598.03012)
伊万诺夫·A.G。 实时识别图灵机器上近似出现的单词。 (俄语) Zbl 0553.68047号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 48,编号3520-568(1984). 审核人:M.Kratko先生 MSC公司:第68季度第45季度 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.G.Ivanov},Izv。阿卡德。Nauk SSSR,序列号。材料48,编号3,520--568(1984;Zbl 0553.68047)
格里申,V.N。 基于逻辑的谓词和集合理论计算,没有收缩规则。 (俄语) Zbl 0464.03027号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 45, 47-68 (1981).MSC公司:03B60号 03F99型 PDF格式BibTeX公司 XML格式引用 \文本{V.N.Grishin},Izv。阿卡德。Nauk SSSR,序列号。材料45,47--68(1981;Zbl 0464.03027)
卡诺维吉,V.G。 所有可解析定义的自然数集的集合都可以解析定义。 (俄语) Zbl 0427.03045号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 43, 1259-1293 (1979).MSC公司:03E35号 03E45型 PDF格式BibTeX公司 XML格式引用 \文本{V.G.Kanovej},Izv。阿卡德。Nauk SSSR,序列号。材料43,1259--1293(1979;Zbl 0427.03045)
塞梅诺夫,A.L。 U.ber gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen。 (俄语) Zbl 0417.03005号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 43, 1175-1195 (1979).MSC公司:03B25号 03B20型 30楼03号 PDF格式BibTeX公司 XML格式引用 \文本{A.L.Semenov},Izv。阿卡德。Nauk SSSR,序列号。材料43,1175--1195(1979;Zbl 0417.03005)
萨基斯扬,O.A。 Beziehungen zwischen Identitäts-und Teilbarkeitsproblemen in Gruppen und Halbgruppen。 (俄语) Zbl 0412.20051号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 43, 909-921 (1979).MSC公司:2005年5月20日 2010年1月20日 20F05型 03D40号 PDF格式BibTeX公司 XML格式引用 \文本{O.A.Sarkisyan},伊兹夫。阿卡德。Nauk SSSR,序列号。材料43909--921(1979年;Zbl 0412.20051)
卡诺维,V.G。 在蒙哥托里的公理中,我们称之为尼希特列尔森·冯·克拉森(Nichtleersein von Klassen)。 (俄语) Zbl 0409.03031号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 42, 550-579 (1978).MSC公司:03E35号 PDF格式BibTeX公司 XML格式引用 \文本{V.G.Kanovei},Izv。阿卡德。Nauk SSSR,序列号。材料42550-579(1978;Zbl 0409.03031)
Plisko,V.E。 Gewisse Varianten des Realisierbarkeitsbegriffes für Prädikatenformeln。 (俄语) Zbl 0384.03042号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 42, 637-653 (1978).MSC公司:03楼55 03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{V.E.Plisko},Izv。阿卡德。Nauk SSSR,序列号。材料42,637--653(1978;Zbl 0384.03042)
Plisko,V.E。 Die Nichtarithmetizität einer Klasse von realifierbaren Prädikatenformeln。 (俄语) Zbl 0373.02032号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 41, 483-502 (1977).MSC公司:03D20日 PDF格式BibTeX公司 XML格式引用 \文本{V.E.Plisko},Izv。阿卡德。Nauk SSSR,序列号。材料41883-502(1977年;Zbl 0373.02032)
Sobolev,S.K。 超直觉主义Logiken。 (俄语) Zbl 0368.02062号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 41, 963-986 (1977).MSC公司:03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Sobolev},Izv。阿卡德。Nauk SSSR,序列号。材料41,963--986(1977;Zbl 0368.02062)
洛杉矶博库特。 Die Unlösbarkeit eines Identityäts problems und Unteralgebren endlich定义器Lieagebren。 (俄语) Zbl 0252.02046号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 36, 1173-1219 (1972).MSC公司:03D40号 17B65型 PDF格式BibTeX公司 XML格式引用 \文本{L.A.Bokut'},Izv。阿卡德。Nauk SSSR,序列号。材料36,1173--1219(1972;Zbl 0252.02046)
Yu Matiyasevich。对。 Eine Diophantische Darstellung aufzählbarer Prädikate(艾因·迪奥芬蒂舍·达斯特伦·奥夫扎·赫巴勒)。 (俄语) Zbl 0219.02035号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 35, 3-30 (1971).MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Matiyasevich},伊兹夫。阿卡德。Nauk SSSR,序列号。材料35,3--30(1971;Zbl 0219.02035)
塔·马诺夫(Taĭmanov,A.D.)。 关于Horn-型公式。(U-ber Formeln vom Hornschen Typus) (俄语) Zbl 0156.25101号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 30, 523-524 (1966).MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Taĭmanov},Izv。阿卡德。Nauk SSSR,序列号。材料30,523--524(1966;Zbl 0156.25101) 全文: MNR公司
塔·马诺夫(Taĭmanov,A.D.)。 Berichtigungen zu der Arbeit“如果你是Klassen der Modelle,那就在bezug auf das direkte Produkt abgeschlossen sind死吧。”。 (俄语) Zbl 0143.24804号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 30247(1966年).MSC公司:03月XX日 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Taĭmanov},Izv。阿卡德。Nauk SSSR,序列号。材料30247(1966;Zbl 0143.24804)
塔·马诺夫(Taĭmanov,A.D.)。 Charakteristik axiomatisierbarer Modellklassen。二、。 (俄语) Zbl 0119.01204号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 25, 755-764 (1961).MSC公司:03月XX日 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Taĭmanov},Izv。阿卡德。Nauk SSSR,序列号。材料25,755--764(1961;Zbl 0119.01204)
塔·马诺夫(Taĭmanov,A.D.)。 Eine Charakteristik der axiomatischen Modellklassen。一、。 (俄语) Zbl 0103.24902号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 25, 601-620 (1961).MSC公司:03月XX日 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Taĭmanov},Izv。阿卡德。Nauk SSSR,序列号。材料25、601--620(1961;Zbl 0103.24902)
塔·马诺夫(Taĭmanov,A.D.)。 如果是克莱斯勒模型,请在bezug auf das directe Produkt abgeschlossen sind去世。 (俄语) Zbl 0116.00702号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 24, 493-510 (1960).MSC公司:03月XX日 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Taĭmanov},Izv。阿卡德。Nauk SSSR,序列号。材料24、493--510(1960;Zbl 0116.00702)
塔·马诺夫(Taĭmanov,A.D.)。 基于\(\delta s\)-运算的粗略基础。 (俄语) 兹伯利0038.19602 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 14, 443-448 (1950).MSC公司:03埃克斯 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Taĭmanov},Izv。阿卡德。Nauk SSSR,序列号。材料14,443--448(1950;Zbl 0038.19602)
A.利亚波诺夫。 表面功能-电子复合添加剂。 (俄语。法语摘要) Zbl 0061.25502号 伊兹夫。阿卡德。Nauk SSSR,序列号。材料。 10, 277-279 (1946). 审核人:G.马里内斯库 MSC公司:28个B05 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料10,277--279(1946;Zbl 0061.25502)
A.利亚波诺夫。 表面功能-电子复合添加剂。 (俄语。法语摘要) Zbl 0024.38504号 牛市。阿卡德。科学。URSS,序列号。数学。 4, 465-478 (1940).MSC公司:03埃克斯 28个B05 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料4465-478(1940;Zbl 0024.38504)
Liapounoff,A。 表面功能-电子复合添加剂。 (俄语。法语摘要) JFM 66.0219.02号 牛市。阿卡德。科学。南加州大学旧金山分校。数学。 4, 465-478 (1940). 审核人:Haupt,O.,教授(埃尔兰根) MSC公司:28个B05 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料4465-478(1940;JFM 66.0219.02) 反向链接: 卫生官员
A.利亚波诺夫。 分体式多重倒入法(A)。 (俄语。法语摘要) Zbl 0024.30301号 牛市。阿卡德。科学。URSS,序列号。数学。 1939, 539-552 (1939).MSC公司:28A10号 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料3539-552(1939;Zbl 0024.30301)
A.利亚波诺夫。 财产保险(delta s)-opérations。 (俄语。法语摘要) Zbl 0024.30204号 牛市。阿卡德。科学。URSS,序列号。数学。 1939, 407-412 (1939).MSC公司:28A10号 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料3407--412(1939;Zbl 0024.30204)
A.利亚波诺夫。 Sur l’uniformisation de quelques ensemples(CA)et(A_2’)。 (俄语。法语摘要) Zbl 0024.30203号 牛市。阿卡德。科学。URSS,序列号。数学。 1939, 41-52 (1939).MSC公司:03埃克斯 28A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料3,41-52(1939;Zbl 0024.30203)
Liapounoff,A。 财产保险(delta,s)-opeérations。 (俄语。法语摘要) JFM 65.1168.03号 牛市。阿卡德。科学。南加州大学旧金山分校。数学。 1939, 407-412 (1939). 审核人:Höffding,W.,Dr.(柏林) MSC公司:03埃克斯 28A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料3407--412(1939;JFM 65.1168.03)
A.利亚波诺夫。 超均匀化集合(CA)et(A_2^{prime})。 (俄语。法语摘要) JFM 65.1168.02号 牛市。阿卡德。科学。南加州大学旧金山分校。数学。 1939, 41-52 (1939). 审核人:Scorza Dragoni,G.,教授(罗姆) MSC公司:03埃克斯 28A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料3,41-52(1939;JFM 65.1168.02)
A.利亚波诺夫。 复数倒计时(A)。 (俄语。法语摘要) JFM 65.1168.01号文件 牛市。阿卡德。科学。南加州大学旧金山分校。数学。 1939, 539-552 (1939). 审核人:Ackermann,W.,博士(Burgsteinfurt) MSC公司:28A05号 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料3539-552(1939;JFM 65.1168.01)
A.利亚波诺夫。 可测量的合奏类(B\)。 (俄语。法语摘要) 表格64.1011.01 牛市。阿卡德。科学。URSS、莫斯科、Cl.Sci。数学。自然。,Sér。数学。 1937, 419-426 (1937). 审核人:Seebach,K.,博士(慕尼黑) MSC公司:28A05号 03埃克斯 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料1937,419--426(1937;JFM 64.1011.01)
A.利亚波诺夫。 Sur quelques compleémentaires分析统一形式。 (俄语。法语摘要) JFM 64.1009.04号 牛市。阿卡德。科学。URSS、莫斯科、Cl.Sci。数学。自然。,Sér。数学。 1937, 285-305 (1937). 审核人:Seebach,K.,博士(慕尼黑) MSC公司:03埃克斯 28A05号 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{A.Liapounoff},Izv。阿卡德。Nauk SSSR,序列号。材料1937,285--305(1937;JFM 64.1009.04)