RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Шевченко Игорь Юрьевич
Публикации в базе данных Math-Net.Ru
Об эффективных версиях теоретико-игровой семантики для логики первого порядка
Сиб. электрон. матем. изв.
,
16
(2019),
618–637
©
МИАН
, 2024