Письмо, А.П. Ершов->А. О. Буда, 25.07.1988 Подтверждает получение рукописи для ДАН и сообщает, что работа находится на рецензировании.
Письмо, С. С. Гончаров->А.П. Ершов, 12.10.1987Извиняется за задержку с отзывом на статью М.И. Кановича. Говорит, что работа интересная и заслуживает публикации. Высказывает некоторые замечания. /Текст рукописный./
Письмо с приложением, Н. М. Нагорный->А.П. Ершов, 12.10.1985Автор извиняется за задержку с отзывом. Говорит, что рукопись произвела на него впечатление графомании. Приложен официальный отзыв.
Письмо с приложением, А.П. Ершов->Бургин М. С., 18.08.1986Просит прояснить один вопрос относительно статьи и посылает её представление в ДАН.
Резюме, 24.10.1985на статью Н.К. Замова "Метод резолюции без скулемизации".
Сопроводительная записка, автор не установлен->А.П. Ершовк статье для направления ее в ДАН СССР.
СтатьяН.К. Замова "Метод резолюционного типа для доказательства противоречивости формул исчисления предикатов".
Статья, 25.11.1985Н.К. Замова "Метод резолюции без скулемизации".
Статья, 12.08.1986М.С. Бургина "Арифметическая иерархия и индуктивные машины Тьюринга".
Статья, 04.12.1987Б.Я. Рябко "Быстрый последовательный код".
Статья, 20.04.1988(?)А.О. Буды "Кооперативные автоматы".
Статья, 06.05.1987М.И. Кановича "О семантике и логике вычислительных задач".
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 10.12.1985с просьбой позвонить по поводу рукописи. /Рукописный и машинописный варианты./
1
2
По порядку | По алфавиту | По дате |