|
|
Publications in Math-Net.Ru
-
Georg Ņantor as the author of constructions playing fundamental roles in constructive mathematics
Zap. Nauchn. Sem. POMI, 220 (1995), 5–22
-
On canonical recursive functions and operations
Zap. Nauchn. Sem. LOMI, 88 (1979), 218–235
-
On the quantifier of limiting realizability
Zap. Nauchn. Sem. LOMI, 60 (1976), 209–220
-
On a hierarchy of Brouwer constructive functionals
Zap. Nauchn. Sem. LOMI, 40 (1974), 142–147
-
A hierarchy of ways of understanding judgments in constructive mathematics
Trudy Mat. Inst. Steklov., 129 (1973), 203–266
-
Concerning the constructive interpretation of auxiliary formulae. I
Trudy Mat. Inst. Steklov., 72 (1964), 348–379
-
Constructive real numbers and constructive functional spaces
Trudy Mat. Inst. Steklov., 67 (1962), 15–294
-
A constructive interpretation of mathematical judgments
Trudy Mat. Inst. Steklov., 52 (1958), 226–311
-
On some logical problems of arithmetic
Trudy Mat. Inst. Steklov., 43 (1955), 3–112
-
On subsets of a natural sequence of numbers having density
Mat. Sb. (N.S.), 31(73):2 (1952), 367–380
-
On the product of topological spaces
Trudy Mat. Inst. Steklov., 24 (1948), 3–112
-
On imbedding in a power of a topological space
Izv. Akad. Nauk SSSR Ser. Mat., 8:5 (1944), 233–242
-
Aleksandr Aleksandrovich Ivanov (on the occasion of his eightieth birthday)
Zap. Nauchn. Sem. POMI, 279 (2001), 7–14
-
Sergei Yur'evich Maslov (obituary)
Uspekhi Mat. Nauk, 39:2(236) (1984), 129–130
-
Andrei Andreevich Markov (on his seventieth birthday)
Uspekhi Mat. Nauk, 29:6(180) (1974), 187–191
-
Andrei Andreevich Markov (on his sixtieth birthday)
Uspekhi Mat. Nauk, 19:3(117) (1964), 207–223
-
Foreword of editor
Trudy Mat. Inst. Steklov., 72 (1964), 3–4
-
Editor's preface
Trudy Mat. Inst. Steklov., 67 (1962), 3–7
-
Preface of the editor
Trudy Mat. Inst. Steklov., 52 (1958), 3–4
-
Andrei Andreevich Markov (on his fiftieth birthday)
Uspekhi Mat. Nauk, 9:1(59) (1954), 145–149
© , 2026