RUS
ENG
Full version
PEOPLE
Gailit Evgeniya Valer'evna
Publications in Math-Net.Ru
Modelling the Pulsating Process
Algebra Logika
,
42
:6 (2003),
641–654
Second order arithmetic and autonomous computability
Sibirsk. Mat. Zh.
,
44
:2 (2003),
303–310
Second order arithmetic and pulsating hierarchies
Sibirsk. Mat. Zh.
,
43
:1 (2002),
33–40
©
Steklov Math. Inst. of RAS
, 2024