Математическая логика

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

Артикул

ДСВ10092026-14

Бренд

Главная редакция физико-математической литературы издательства "Наука"