Вернуться к Подробностям о статье Семантика допустимых множеств оценок для S5. Разрешающая процедура Скачать Скачать PDF