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