|
|
Publications in Math-Net.Ru |
Citations |
|
1968 |
1. |
R. A. Plyushkevitchus, “A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws”, Trudy Mat. Inst. Steklov., 98 (1968), 155–202 ; Proc. Steklov Inst. Math., 98 (1968), 175–229 |
2. |
R. A. Plyushkevitchus, “Kanger's variant of predicate calculus with not totally defined functions”, Zap. Nauchn. Sem. LOMI, 8 (1968), 211–224 |
|
1967 |
3. |
R. A. Plyushkevitchus, “A sequential calculus of the constructive logic for the normal formulae without structural rules of inference”, Zap. Nauchn. Sem. LOMI, 4 (1967), 174–188 |
|