|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1972 |
1. |
М. Г. Рогава, “Секвенциальные варианты прикладных исчислений предикатов без структурных правил
вывода”, Тр. МИАН СССР, 121 (1972), 136–164 ; M. G. Rogava, “Sequential variants of applied predicate calculi without structural rules of inference”, Proc. Steklov Inst. Math., 121 (1972), 151–181 |
|
1967 |
2. |
М. Г. Рогава, “О секвенциальных вариантах прикладных исчислений предикатов”, Зап. научн. сем. ЛОМИ, 4 (1967), 189–200 |
|