Информационное письмо о симпозиуме по теоретическому программированию (07-11.08.1972) - расписание работы; проблемы для обсуждений; о публикации Трудов; о финансовых условиях участия; список приглашаемых иностранных ученых.

возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./

с автографом проф. З. Манны.

С сожалением сообщает, что статью адресата с соавтором не включили в книгу из-за отсутствия прямого контакта с авторами.

"Logical Analysis of Programs".

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

электронного письма, в котором автор рассказывает о проблемах, возникших при подготовке поездки на конференцию.

Автор сообщает новости о работе редакции журнала "Theoretical Computer Science".

О тираже "Лекций...", о книге З.Манны

Пишет, что ему хотелось бы приехать на симпозиум, но нет финансовых возможностей.

Автор сообщает о новой публикации по логике З. Манны, руководствуясь тем, что адресат работает в этой же области и является коллегой автора. Приложен бланк для заказа книг.

Говорит, что устал уже ждать ответ от Национальной Академии наук о включении своего визита в СССР в программу обмена, но всё еще не теряет надежды. Рассказывает о научных результатах Манны в математической теории вычислений, спрашивает о работе над АИСТом-0. Надеется на скорую встречу. /Текст рукописный./

Благодарит за письмо и статью. Посылает несколько своих последних публикаций. Сожалеет, что не удалось обеспечить участие З. Манны в конференции. Надеется, что это была скорее техническая ошибка, чем результат политики или личного решения.

Говорит, что с нетерпением ждет приезда адресата. Рассказывает о большом впечатлении, которое произвели на него результаты З. Манны. Упоминает об интересных отечественных результатах по теории схем Янова. Автор был бы рад иметь подписку на журнал "National Geographic". Высказывает свое отношение к музыке "Pepper"-ов.

Автор благодарит за приглашение участвовать в конференции и соообщает тему своего выступления.

Автор подтверждает вое участие в конференции и тему доклада. Он хотел бы приехать с женой и сообщает необходимую информацию.

о встрече в Шереметьево и о действиях по поводу З. Манны.

о профессоре З.Манна.

о компенсации дорожных расходов для участников конференции. Приложен дорожный ваучер.