Плюшкевичус Р А

Публикации в базе данных Math-Net.Ru

1. Секвенциальный вариант исчисления конструктивной логики для нормальных формул, не содержащий структурных правил
   
   Тр. МИАН СССР, 98 (1968),  155–202
2. Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  211–224
3. Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
   
   Зап. научн. сем. ЛОМИ, 4 (1967),  174–188