| Письмо, А. Д. Тайманов->А.П. Ершов, 10.10.1985 Автор просит представить работу Т.Г. Мустафина к печати в ДАН СССР. /Текст рукописный./
Письмо, А. А. Скрипий->А.П. Ершов, 24.10.1985Автор посылает А.П. Ершову работу, где описывается система ОММ, которая, по мнению разработчиков, могла бы стать национальным продуктом СССР. Просит представить работу для публикации в ДАН СССР. /Текст рукописный./
Письмо, А.П. Ершов->А. А. Скрипий, 28.10.1985Переадресовывает академику В.С. Михалевичу. /Рукописный и машинописный варианты./
СтатьяН.К. Замова "Метод резолюционного типа для доказательства противоречивости формул исчисления предикатов".
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 17.10.1985Автор просит Андрея Петровича представить статью своего сотрудника в Доклады АН СССР.
Письмо, В. В. Чернюгов->А.П. Ершов, 14.05.1985Автор просит представить свою работу для опубликования в ДАН СССР. /Текст рукописный./
Письмо, А.П. Ершов->Н. М. Нагорный, 09.08.1985с просьбой высказать свое мнение о заметке В.В. Чернюгова. /Рукописный и машинописный варианты./
Письмо с приложением, Н. М. Нагорный->А.П. Ершов, 12.10.1985Автор извиняется за задержку с отзывом. Говорит, что рукопись произвела на него впечатление графомании. Приложен официальный отзыв.
Письмо, А.П. Ершов->В. В. Чернюгов, 04.11.1985Возвращает заметку, которая "не дотягивает" для продвижения в Доклады АН СССР. /Рукописный и машинописный варианты./
Письмо, Н. К. Замов->А.П. Ершов, 15.11.1985Автор посылает свою статью с просьбой представить ее в ДАН СССР. /Текст рукописный./
Статья, 25.11.1985Н.К. Замова "Метод резолюции без скулемизации".
Резюме, 24.10.1985на статью Н.К. Замова "Метод резолюции без скулемизации".
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 10.12.1985с просьбой позвонить по поводу рукописи. /Рукописный и машинописный варианты./
Сопроводительная записка, автор не установлен->А.П. Ершовк статье для направления ее в ДАН СССР.
Отзыв, 20.02.1986на работу А.Г. Мясникова "Элементарные теории и абстрактные изоморфизмы конечных алгебр и унипотентных групп".
Письмо, А.П. Ершов->адресат не установлен, 14.08.1986Просит высказать суждение о целесообразности публикации заметки М.С. Бургина "Арифметическая иерархия и индуктивные машины Тьюринга".
Письмо, Бургин М. С.->А.П. Ершов, 01.08.1986Автор посылает свою статью и просит рассмотреть ее на предмет представления в ДАН СССР.
Статья, 12.08.1986М.С. Бургина "Арифметическая иерархия и индуктивные машины Тьюринга".
Отзыв, 17.08.1986на статью М.С. Бургина "Арифметическая иерархия и индуктивные машины Тьюринга".
Письмо с приложением, А.П. Ершов->Бургин М. С., 18.08.1986Просит прояснить один вопрос относительно статьи и посылает её представление в ДАН.
1
2
По порядку | По алфавиту | По дате |
