RUS
ENG
Full version
PEOPLE
Shevchenko Igor' Yur'evich
Publications in Math-Net.Ru
About effective versions of game theoretical semantics for first-order logic
Sib. Èlektron. Mat. Izv.
,
16
(2019),
618–637
©
Steklov Math. Inst. of RAS
, 2024