Вернуться к Подробностям о статье Неразрешимость модальных логик одноместного предиката Скачать Скачать PDF