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