Письмо Автор рассказывает о работе своей группы над проблемой доказательства теорем. В связи с этим просит А.П. Ершова помочь связаться с профессором Г.С. Маканиным, который публиковал статьи по этой же тематике. Дата: 16.07.1979 Оригинальный язык документа: английский Авторы: Петер Дойссен Организации: Университет Карлсруэ, Институт информатики Персоналии: Г. С. Маканин Адресаты: Андрей Петрович Ершов
