RUS
ENG
Full version
PEOPLE
Kostyrko V F
Publications in Math-Net.Ru
On the decidability problem for Ackermann's case
Sibirsk. Mat. Zh.
,
6
:2 (1965),
342–363
The reduction-class
$\forall \exists ^n\forall $
Algebra i Logika. Sem.
,
3
:5-6 (1964),
45–55
On an error in the paper of I. I. Žegalkin “The solvability problem on finite classes”
Algebra i Logika. Sem.
,
1
:5 (1962),
31–36
©
Steklov Math. Inst. of RAS
, 2024