RUS
ENG
Full version
PEOPLE
Jebelean Tudor
Publications in Math-Net.Ru
Solution lifting method for handling Meta-variables in the TH
$\exists$
OREM
$\forall$
system
Zap. Nauchn. Sem. POMI
,
293
(2002),
94–117
©
Steklov Math. Inst. of RAS
, 2024
