|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Григорий Ефроимович Минц Письмо с приложением, Г. Е. Минц->А.П. Ершов, 27.08.1986 Посылает копию письма Э.Х. Тыугу по поводу издания книги И. Братко о ПРОЛОГе. Автор просит после прочтения вернуть книгу в Таллин.
Письмо, А.П. Ершов->Г. Е. Минц, 14.05.1982Соглашается с мнением адресата по поводу книги Барендрегта и реферата Клопа.
Письмо (рукописное), К. Вершинин->А.П. Ершов, 22.08.1986Возвращает книгу И. Братко. Очень высоко оценивает ее и просит сделать для него ксерокопию. /Текст рукописный./
Телеграмма, А.П. Ершов->Н. А. Шанин, 08.09.1971Просьба сообщить о возможности принять польского ученого З.Ю. Звиногродского.
Письмо, Г. Е. Минц->А.П. Ершов, 17.05.1982В ответ на письмо А.П. Ершова от 14 мая автор поддерживает идею о написании рабочего предложения по изданию книги Берандрегта, предлагает свою помощь в переводе книги.
Письмо, А.П. Ершов->Г. Е. Минц, 08.10.1986Просьба оценить заметку Такаоки, представленную в журнал "IPL".
Письмо, Г. Е. Минц->А.П. Ершов, 17.09.1982Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
Письмо с приложением, Г. Е. Минц->А.П. Ершов, 23.09.1982Посылает подписанные Матиясевичем предложения об издании сборника переводов "Приложения Лямбда-исчисления к теоретическому программированию". Предлагает подписать их и отправить в Москву. Надеется на приезд А.П. Ершова в ЛОМИ.
Письмо, 25.04.1984Рекомендация для перевода и издания двухтомного труда "Автоматизация рассуждений".
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
