Артемов Сергей Николаевич

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

1. Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении
   
   УМН, 59:2(356) (2004),  9–36
2. Погружение модального $\lambda$-исчисления в логику доказательств
   
   Труды МИАН, 242 (2003),  44–58
3. On first order logic of proofs
   
   Mosc. Math. J., 1:4 (2001),  475–490
4. O равномерной арифметической полноте модальных логик доказуемости
   
   Матем. заметки, 48:1 (1990),  3–9
5. Степени неразрешимости расширений арифметики истин­ными предложениями
   
   УМН, 43:2(260) (1988),  127–128
6. Об эффективных предикатных логиках доказуемости
   
   Докл. АН СССР, 297:3 (1987),  521–523
7. Суперинтуиционистские логики, имеющие доказуемостную интерпретацию
   
   Докл. АН СССР, 291:6 (1986),  1289–1291
8. Нумерически корректные логики доказуемости
   
   Докл. АН СССР, 290:6 (1986),  1289–1292
9. Неарифметичность истинностных предикатных логик доказуемости
   
   Докл. АН СССР, 284:2 (1985),  270–271
10. О модальных логиках, аксиоматизирующих доказуемость
    
    Изв. АН СССР. Сер. матем., 49:6 (1985),  1123–1154


11. Лариса Львовна Максимова (некролог)
    
    УМН, 80:3(483) (2025),  179–182
12. Григорий Самуилович Цейтин (некролог)
    
    УМН, 78:3(471) (2023),  170–176
13. Борис Абрамович Трахтенброт (к столетию со дня рождения)
    
    УМН, 77:1(463) (2022),  191–195