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

Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ

Рассматривается участие членов Программного комитета конференции на предстоящем заседании комитета. В приложении - анкетка для предварительной оценки адресатом представленных на конференцию докладов.

о командировке в ФРГ.

об издании Трудов на русском и английском языках.

Благодарит за прекрасную организацию конференции, поздравляет с успехом. Сообщает, что посылает несколько работ, на которых основывался его доклад. Текст для Трудов в течение одной-двух недель вышлет. /Текст рукописный./

Сообщает, что высылает два экземпляра своей статьи, которая включена в Труды симпозиума по теоретическому программированию. Надеется, что еще не слишком поздно. /Текст рукописный./