RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1967, том 4, страницы 123–133 (Mi znsl2215)
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов

Г. Е. Минц




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

© МИАН, 2024