Наумов Павел Геннадьевич

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

1. Неразрешимость логики доказуемости второго порядка с операцией сравнения свидетелей
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1993, № 3,  14–17
2. Неразрешимость логики Гёделя–Лёба с кванторами по пропозициональным переменным
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1993, № 2,  13–16
3. О модальных логиках, консервативных над интуиционистским исчислением предикатов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 6,  86–90