RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Карл Мерлин
Публикации в базе данных Math-Net.Ru
On a Diophantine representation of the predicate of provability
Зап. научн. сем. ПОМИ
,
407
(2012),
77–104
©
МИАН
, 2026
