Norgela S A

Publications in Math-Net.Ru

1. Herbrand strategies and the “greater deducibility” relation
   
   Zap. Nauchn. Sem. LOMI, 68 (1977),  51–61
2. On the approximation of reduction classes of RPC by decidable classes
   
   Zap. Nauchn. Sem. LOMI, 60 (1976),  103–108
3. On cut-type rules for calculuses of general type
   
   Zap. Nauchn. Sem. LOMI, 40 (1974),  63–76