|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1989 |
| 1. |
Н. А. Панкратьев, “Дизъюнктивное свойство и тезис Черча в арифметике с логикой Гжегорчика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1989, № 6, 63–65    |
| 2. |
Н. А. Панкратьев, “Исчисление предикатов и арифметика с логикой Гжегорчика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1989, № 5, 83–85 |
|
1988 |
| 3. |
Н. А. Панкратьев, “Тезис Черча с точки зрения доказуемостной интерпретации”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, № 6, 61–63 |
| 4. |
Н. А. Панкратьев, “Язык машин Тьюринга с точки зрения оптимальности”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, № 5, 66–68 |
|
Обратная связь: