Рогава М Г

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

1. Секвенциальные варианты прикладных исчислений предикатов без структурных правил вывода
   
   Тр. МИАН СССР, 121 (1972),  136–164
2. О секвенциальных вариантах прикладных исчислений предикатов
   
   Зап. научн. сем. ЛОМИ, 4 (1967),  189–200