Rogava M G

Publications in Math-Net.Ru

1. Sequential variants of applied predicate calculi without structural rules of inference
   
   Trudy Mat. Inst. Steklov., 121 (1972),  136–164
2. On sequential variants of applied predicate calculi
   
   Zap. Nauchn. Sem. LOMI, 4 (1967),  189–200