|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1968 |
1. |
Р. А. Плюшкевичус, “Секвенциальный вариант исчисления конструктивной логики для нормальных формул, не содержащий структурных правил”, Тр. МИАН СССР, 98 (1968), 155–202 ; R. A. Plyushkevitchus, “A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws”, Proc. Steklov Inst. Math., 98 (1968), 175–229 |
2. |
Р. А. Плюшкевичус, “Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций”, Зап. научн. сем. ЛОМИ, 8 (1968), 211–224 |
|
1967 |
3. |
Р. А. Плюшкевичус, “Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода”, Зап. научн. сем. ЛОМИ, 4 (1967), 174–188 |
|