Неклассическая математическая логика

Профессор Мати Рейнович Пентус. Лекция посвящена системам неклассической математической логики: модальной логике, интуиционистской, моделям Крипке.