Теорема Тарского о неорпеделимости и связанные с ней вопросы приводятся в гл. Аддисона о неопределимости ... - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Булос Д.N. Вычислимость и логика
Теорема Тарского о неорпеделимости и связанные с ней вопросы приводятся в гл.
Аддисона
о неопределимости самого класса определимых множеств.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой: