Return to Article Details Семантика допустимых множеств оценок для S5. Разрешающая процедура Download Download PDF