Теорема Тарского о неорпеделимости и связанные с ней вопросы приводятся в гл. Аддисона о неопределимости ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Булос Д.N. Вычислимость и логика


Теорема Тарского о неорпеделимости и связанные с ней вопросы приводятся в гл. Аддисона о неопределимости самого класса определимых множеств.

(cкачать страницу)

Смотреть книгу на libgen

Теорема Тарского о неорпеделимости и связанные с ней вопросы приводятся в гл.  Аддисона о неопределимости самого класса определимых множеств.