Письмо

Автор сообщает, что с большим интересом ознакомился с научным сообщением адресата о проблемах доказательного программирования. В соответствии с договоренностью адресату направлены новые издания Центра. Автор будет признателен за мнение о них.