Публикации в базе данных Math-Net.Ru
-
Логика Гжегорчика с операторами арифметических доказательств
Фундамент. и прикл. матем., 2:2 (1996), 483–499
-
О классах арифметических напарников модальных логик доказуемости
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1990, № 1, 31–33
-
Соотношения между некоторыми классами эффективно топологических пространств
Матем. заметки, 5:4 (1969), 483–495
-
Об эффективно топологических пространствах
Докл. АН СССР, 169:1 (1966), 28–31
© , 2025