Письмо Подтверждает получение статьи и извиняется за задержку с ответом, вызванную болезнью. Дата: 08.08.1985 Названия статей: "Logic programming as constructive logic with strong negation" Оригинальный язык документа: английский Авторы: Андрей Петрович Ершов Адресаты: Сеики Акама
