|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1972 |
| 1. |
А. Ю. Плюшкевичене, “Секвенциальный вариант арифметической системы Р. Робинсона, не содержащий правил
типа сечения”, Тр. МИАН СССР, 121 (1972), 109–135    ; A. Y. Plushkevichene, “A sequential variant of the arithmetical system of R. Robinson that does not contain cut type rules”, Proc. Steklov Inst. Math., 121 (1972), 121–150 |
| 2. |
А. Ю. Плюшкевичене, “Распространение обратного метода на аксиоматические теории с равенством”, Зап. научн. сем. ЛОМИ, 32 (1972), 108–115 |
|
1971 |
| 3. |
А. Ю. Плюшкевичене, “Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера”, Зап. научн. сем. ЛОМИ, 20 (1971), 186–199 |
| 4. |
А. Ю. Плюшкевичене, “О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством”, Зап. научн. сем. ЛОМИ, 20 (1971), 175–185 |
|
1969 |
| 5. |
А. Ю. Плюшкевичене, “Устранение правил типа сечения в аксиоматических теориях с равенством”, Зап. научн. сем. ЛОМИ, 16 (1969), 175–184 |
|
Обратная связь: