Описание
Книга известного американского логика Дж. Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое — проблема тождества слов в группах, другое — изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств.
Книга может быть рекомендована в качестве учебника по курсам математической логики и теории алгоритмов в университетах и пединститутах. Книга предназначена для всех исследователей, преподавателей, аспирантов и студентов, занимающихся основаниями математики.

Отзывы
Отзывов пока нет.