%0 Journal Article %A I. Yu. Shevchenko %T About effective versions of game theoretical semantics for first-order logic %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2019 %P 618-637 %V 16 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2019_16_a9/ %G ru %F SEMR_2019_16_a9