|
|
|
Publications in Math-Net.Ru |
Citations |
|
1972 |
| 1. |
A. Y. Plushkevichene, “A sequential variant of the arithmetical system of R. Robinson that does not contain cut type rules”, Trudy Mat. Inst. Steklov., 121 (1972), 109–135    ; Proc. Steklov Inst. Math., 121 (1972), 121–150 |
| 2. |
A. Y. Plushkevichene, “An extention of the inverse method to axiomatic theories with equality”, Zap. Nauchn. Sem. LOMI, 32 (1972), 108–115 |
|
1971 |
| 3. |
A. Y. Plushkevichene, “On elimination of cut-type rules from Robinson and Presburger axiomatic systems”, Zap. Nauchn. Sem. LOMI, 20 (1971), 186–199 |
| 4. |
A. Y. Plushkevichene, “On a specialization of processing of axions in proof procedures for axiomatic theories with equality”, Zap. Nauchn. Sem. LOMI, 20 (1971), 175–185 |
|
1969 |
| 5. |
A. Y. Plushkevichene, “Elimination of cut-type rules in axiomatic systems with equality”, Zap. Nauchn. Sem. LOMI, 16 (1969), 175–184 |
|
Contact us: