Publications in Math-Net.Ru
-
Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle
Trudy Mat. Inst. Steklova, 242 (2003), 77–97
-
Exact interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice
Sibirsk. Mat. Zh., 29:1 (1988), 171–178
-
Trigonometric polynomials, continuation
Math. Ed., 2015, no. 3(75), 19–34
-
Trigonometric polynomials, continued
Math. Ed., 2015, no. 2(74), 27–41
-
Trigonometric polynomials
Math. Ed., 2015, no. 1(73), 12–26
© , 2026