| Обложка, 05.11.1982-14.02.1983 с хронологией работы над статьей.
Заявление, М. А.Тайцлин->А.П. Ершов..., 29.10.1982о наличии разрешения Минвуза Казахской ССР на отправку статьи во Францию для опубликования в журнале TCS.
Статья, 29.10.1982"The comparison of the expressive power of first-order dynamic logics".
По порядку | По алфавиту | По дате |
