Вики

Саул Крипке — Википедия

Сол Крипке Основы семантики Крипке Семантика Крипке — это метод представления модальных логик, основанный на фреймах Крипке.  Фрейм Крипке — […]