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