Письмо

Согласно предварительной договоренности, автор приводит список своих работ по теме "Дисциплина и анализ доказательного программирования при логическом подходе" и просит дать отзыв для утверждения темы докторской диссертации.