RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1968, том 8, страницы 202–210 (Mi znsl2265)
Два неразрешимых класса формул классического исчисления предикатов

В. П. Оревков




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

© МИАН, 2024