составленный при чтении книги С. Клини "Введение в метаматематику".

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

"International Symposium on Algorithms in Modern Mathematics and Computer Science" - отчет для "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10.

Высказывает свои соображения по абстрактной вычислимости.

Подтверждает получение статьи; она поступила одной из первых; "это еще один пример для нас, более молодых участников, того, как надо работать"; формулирует необходимость аксиоматического определения конструктивных объектов; выражает просьбу прислать копию более подробного доклада по истории теории алгоритмов, если он уже готов.

Подтверждает заинтересованность издательства "Springer-Verlag" в публикации трудов Ургенчского симпозиума.

Благодарит за любезную записку от 01.02.1980; сообщает о редактировании одного из абзацев; пишет, что представил исторический обзор в 20-й выпуск "Symposium on Foundations of Computer Science", обещает прислать копию.

Принимает приглашение с радостью; хочет приехать с женой; интересуется, как можно воспользоваться авторскими гонорарами, хранящимися на его счету в СБ СССР, во время пребывания в Советском Союзе.

об ошибках, допущенных в английском издании статьи С. Клини "Algorithms in various Contexts".

Благодарит за получение визы для себя; беспокоится о том, что не выдана виза для жены; просит совета в сложившейся ситуации.

Официальное приглашение адресата на Ургенчский симпозиум в качестве гостя АН СССР.

Просит сообщить о времени прилета в Москву; советует, как лучше добраться до Ургенча. /Текст рукописный./

Автор от себя лично и от имени оргкомитета поддерживает просьбу участников Ургенчского симпозиума С. Клини и Д. Кнута получить от издательства причитающиеся им гонорары.

Просит рассмотреть возможность приглашения на симпозиум Р.М. Берсталла, С. Клини, М.С. Патерсона, К. Замельзона и Ф. Штрассена в качестве гостей АН СССР; в приложении: обоснование, научные характеристики и программа приема.

Сообщает, что получено согласие на публикацию на русском языке статьи, напечатанной в "Annals of the History of Computing".

с поправками к статье автора "Origins of Recursive Function Theory".

с просьбой внести изменеиня в текст статьи

Извиняется за задержку с ответом. С чувством глубокого удовлетворения информирует о сроках выхода в свет английского и русского изданий Трудов симпозиума. /Рукописный и машинописный тексты./

Напоминает о своей просьбе по поводу расширенной статьи; просит разрешения опубликовать ее в сборнике на русском языке. /Текст рукописный./

В ответ на письмо от 23.07.79 - будет счастлив иметь русский перевод своей статьи "Origins of Recursive Function Theory"; посылает "Annals of the History of Computing", January 1981 со своей статьей и отдельный ее оттиск; статью можно будет переводить на русский язык, как только появится соответствующее разрешение.