Письмо Согласно предварительной договоренности, автор приводит список своих работ по теме "Дисциплина и анализ доказательного программирования при логическом подходе" и просит дать отзыв для утверждения темы докторской диссертации. Дата: 31.08.1984 Оригинальный язык документа: русский Авторы: Николай Николаевич Непейвода Адресаты: Андрей Петрович Ершов
