|
|
Publications in Math-Net.Ru
-
Extended fuzzy constructive logic
Zap. Nauchn. Sem. POMI, 407 (2012), 35–76
-
Fuzzy constructive logic
Zap. Nauchn. Sem. POMI, 358 (2008), 130–152
-
Formal axiomatic theories on the base of three-valued logic
Zap. Nauchn. Sem. POMI, 304 (2003), 19–74
-
On predicate and arithmetic calculi of symmetric constructive logic
Dokl. Akad. Nauk SSSR, 210:3 (1973), 517–520
-
Yet another constructive version of Cauchy theorem
Zap. Nauchn. Sem. LOMI, 20 (1971), 36–39
-
On Shannon's pseudofunctions
Zap. Nauchn. Sem. LOMI, 16 (1969), 65–76
-
On the differentiation and integration of constructive functions
Dokl. Akad. Nauk SSSR, 156:1 (1964), 25–27
-
Concerning a generalized principle of constructive selection
Trudy Mat. Inst. Steklov., 72 (1964), 344–347
-
Граф-схемы с памятью
Trudy Mat. Inst. Steklov., 72 (1964), 99–192
-
Singular coverings and properties of constructive functions connected with them
Trudy Mat. Inst. Steklov., 67 (1962), 458–502
-
Some properties of constructive real numbers and constructive functions
Trudy Mat. Inst. Steklov., 67 (1962), 385–457
-
Nikolai Aleksandrovich Shanin (obituary)
Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176
© , 2024