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

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

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

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

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

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

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

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

Автор выражает свои переживания и глубокое соболезнование Дж. Маккарти в связи с гибелью в горах его жены Веры. Сообщает, что в настоящее время находится с месячным визитом в США по приглашению Дж. Шварца. /Текст рукописный, черновой./

В ответ на письмо от 07.09.1971 - приглашение на симпозиум по теоретическому программированию, который планируется провести летом 1972 г.; благодарность за книги; обещание прислать материалы по системе БЕТА.

Сообщает свое мнение относительно публикации рукописи З. Манны и адресата. Возникшие во время чтения комментарии автор письма уже сообщил непосредственно авторам, встретившись с ними на конференции.

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

Автор делится своими впечатлениями от работы адресата, которую он реферировал для журнала "Acta Informatica". Просит помочь достать книгу адресата, упомянутую в библиографии.

К сожалению, принять участие в симпозиуме не сможет, не дают визу. Благодарит адресата за попытки помочь ее получить.

Посылает исправленную версию статьи и просит, если еще не поздно, заменить ею ту, что представлена для публикации в Шпрингер-Ферлаг.

Благодарит за возвращенную статью и просит прислать второй экземпляр рецензии, которую видел Манна, так как первый потерялся.

Автор приглашает всех адресатов, участников конференции по надежному софтверу в Лос-Анджелесе, принять участие в деятельности, которую он пытается организовать после конференции. Излагает основные идеи и уточняет сроки сбора.

Автор посылает свои работы, сожалеет, что не смог приехать на конференцию. Возмущается, что такому великому ученому, как З. Манна, не дали визу, предположительно из-за его поездки в Израиль.

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

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