RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Шавруков Владимир Юрьевич
Публикации в базе данных Math-Net.Ru
О двух расширениях логики доказуемости GL
Матем. сб.
,
181
:2 (1990),
240–255
©
МИАН
, 2026
