с хронологией работы над статьей.

к статье "Logic programming as constructive logic with strong negation" для опубликования в журнале TCS.

"Logic programming as constructive logic with strong negation".

Подтверждает получение статьи и извиняется за задержку с ответом, вызванную болезнью.

Просит дать заключение о возможности публикации статьи С. Акамы. /Рукописный и машинописный варианты./

Отрицательное заключение о статье С. Акамы /на двух языках/.

С сожалением сообщает, что статья не может быть опубликована. Приложен отзыв референта.