Плюшкевичене А Ю

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

1. Секвенциальный вариант арифметической системы Р. Робинсона, не содержащий правил типа сечения
   
   Тр. МИАН СССР, 121 (1972),  109–135
2. Распространение обратного метода на аксиоматические теории с равенством
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  108–115
3. Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  186–199
4. О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  175–185
5. Устранение правил типа сечения в аксиоматических теориях с равенством
   
   Зап. научн. сем. ЛОМИ, 16 (1969),  175–184