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