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