|
|
Publications in Math-Net.Ru |
Citations |
|
1972 |
1. |
M. G. Rogava, “Sequential variants of applied predicate calculi without structural rules of inference”, Trudy Mat. Inst. Steklov., 121 (1972), 136–164 ; Proc. Steklov Inst. Math., 121 (1972), 151–181 |
|
1967 |
2. |
M. G. Rogava, “On sequential variants of applied predicate calculi”, Zap. Nauchn. Sem. LOMI, 4 (1967), 189–200 |
|