Статья "The comparison of the expressive power of first-order dynamic logics". Дата: 29.10.1982 Названия статей: "The comparison of the expressive power of first-order dynamic logics" Оригинальный язык документа: английский Авторы: Михаил Абрамович Тайцлин, Алексей Петрович Столбоушкин
