Сказанное можно интерпретировать и так: мы доказали конечную аксиоматизируемость теории Th ( Q, , ), ... - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Верещагин Н.К. Лекции по математической логике и теории алгоритмов Часть 2
Сказанное можно интерпретировать и так: мы доказали
конечную аксиоматизируемость теории Th
( Q, , ), предъявив список аксиом.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой:
