RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1971, том 20, страницы 186–199 (Mi znsl2408)
Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера

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




Реферативные базы данных:

© МИАН, 2024