RUS
ENG
Full version
PEOPLE
Kapustin Iurii Sergeevich
Publications in Math-Net.Ru
Quantifier expressibility in predicate logic
Intelligent systems. Theory and applications
,
26
:2 (2022),
62–84
©
Steklov Math. Inst. of RAS
, 2024