Панкратьев Николай Анатольевич

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

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