RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Эль Кури А
Публикации в базе данных Math-Net.Ru
Категорная интерпретация логических выводов и некоторые ее применения в алгебре
Зап. научн. сем. ПОМИ
,
373
(2009),
318–344
©
МИАН
, 2024