Kogan-Bernstein L M

Publications in Math-Net.Ru

1. Simplification of Gentzen's reductions in the classical arithmetic
   
   Zap. Nauchn. Sem. LOMI, 105 (1981),  45–52