Электронный каталог: Бочвар, Дмитрий Анатольевич - Исследования по формализованным языкам и неклассическим логикам