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