RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Жебелеан Тюдор
Публикации в базе данных Math-Net.Ru
Метод подъема решений для работы с метапеременными в системе TH
$\exists$
OREM
$\forall$
Зап. научн. сем. ПОМИ
,
293
(2002),
94–117
©
МИАН
, 2024
