Письмо Автор сообщает, что с большим интересом ознакомился с научным сообщением адресата о проблемах доказательного программирования. В соответствии с договоренностью адресату направлены новые издания Центра. Автор будет признателен за мнение о них. Дата: 26.11.1984 Оригинальный язык документа: русский Авторы: Леонид Николаевич Сумароков Организации: МЦНТИ Адресаты: Андрей Петрович Ершов
