документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Архив С.С. Лаврова Переписка (1971-1997) Письмо с конвертом

	Письмо с конвертом Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ Дата: 05.09.1974 Оригинальный язык документа: русский Авторы: Регимантас Антанович Плюшкявичус Организации: ИФМ АН Лит. ССР Персоналии: Анатолий Алексеевич Дородницын, Робин Милнер, Зохар Манна, Энтони Хоар Адресаты: Святослав Сергеевич Лавров Изображения страниц: 1 2 3 Назад Следующий документ (Письмо) Предыдущий документ (Письмо)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016