Кривцов Виктор Николаевич

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

1. Логики творящего субъекта: консервативность относительно интуиционистского исчисления предикатов
   
   УМН, 51:1(307) (1996),  151–152
2. О семантической полноте логик творящего субъекта
   
   УМН, 49:6(300) (1994),  205–206
3. Погружение интуиционистской теории типов в безотрицательную теорию типов
   
   Матем. заметки, 39:1 (1986),  121–135
4. Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов
   
   Докл. АН СССР, 277:3 (1984),  529–533
5. О дедуктивных возможностях безотрицательного интуиционистского анализа
   
   Докл. АН СССР, 274:4 (1984),  786–790
6. Формальная система безотрицательной арифметики, консервативная относительно арифметики Гейтинга
   
   Матем. заметки, 36:4 (1984),  583–592
7. О дедуктивных возможностях безотрицательного исчисления предикатов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 4,  3–5
8. О некотором типе формальных безотрицательных систем
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 2,  27–31