RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Коган-Бернштейн Л М
Публикации в базе данных Math-Net.Ru
Упрощение генценовских редукций классической арифметики
Зап. научн. сем. ЛОМИ
,
105
(1981),
45–52
©
МИАН
, 2024
