|
|
|
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 |
|
Contact us: