Письмо Автор спрашивает, нельзя ли опубликовать обзор о результатах, полученных в Казахском университете в области сравнения различных динамических логик по выразительной мощности, в журнале Theoretical Computer Science. Дата: 15.10.1982 Оригинальный язык документа: русский Авторы: Михаил Абрамович Тайцлин Персоналии: Алексей Петрович Столбоушкин Адресаты: Андрей Петрович Ершов
