RUS  ENG
Full version
PEOPLE

Kostyrko V F

Publications in Math-Net.Ru

  1. On the decidability problem for Ackermann's case

    Sibirsk. Mat. Zh., 6:2 (1965),  342–363
  2. The reduction-class $\forall \exists ^n\forall $

    Algebra i Logika. Sem., 3:5-6 (1964),  45–55
  3. 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