RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Дворкин Лев Вениаминович
Публикации в базе данных Math-Net.Ru
О логиках доказуемости арифметики Нибергалля
Изв. РАН. Сер. матем.
,
88
:3 (2024),
61–100
©
МИАН
, 2025
