Пентус М.Р. / Все видео

Синтаксическое исчисление Ламбека

Профессор Мати Рейнович Пентус "Синтаксическое исчисление Ламбека".

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

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

Книги Пентус М.Р. (1 книга)
Пентус М.Р. отзывы
Яндекс.Метрика
Автор сайта: Никонов Владимир