RUS
ENG
Full version
PEOPLE
Kapustin I S
Publications in Math-Net.Ru
On the elementary expressibility in predicate logic
Intelligent systems. Theory and applications
,
23
:2 (2019),
135–158
©
Steklov Math. Inst. of RAS
, 2024