Сопрунов Сергей Федорович

Публикации в базе данных Math-Net.Ru

1. Кафедра математической логики и теории алгоритмов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32
2. Создание новой математики школьниками
   
   Докл. РАН. Матем., информ., проц. упр., 511 (2023),  138–143
3. Решетка определимости. Источники и направления исследований
   
   Чебышевский сб., 22:1 (2021),  304–327
4. Решетка определимости (редуктов) для целых чисел с операцией следования
   
   Изв. РАН. Сер. матем., 85:6 (2021),  245–258
5. О цифровой грамотности и средах ее формирования
   
   Информ. и её примен., 14:4 (2020),  100–107
6. A combinatorial version of the Svenonius theorem on definability
   
   Log. J. IGPL, 23:6 (2015), 966, 975 стр.
7. Конечные кванторные иерархии в алгебрах отношений
   
   Труды МИАН, 274 (2011),  291–296
8. Начальные отрезки нестандартных арифметик
   
   Докл. АН СССР, 223:3 (1975),  576–577
9. Сильные нестандартные модели арифметики
   
   Докл. АН СССР, 220:2 (1975),  293–296


10. Академику А. Л. Семенову – 70 лет
    
    Чебышевский сб., 22:1 (2021),  27–56