Ваша оценкаКнига известного американского логика Дж. Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории мн...
Жанры
Год издания:
1975
Язык:
Русский
Суперобложка, 528 стр.
Тираж: 25000 экз.
Формат: 84x108/32 (130х200 мм)
Возрастные ограничения:
18+
Содержание
Перевод: Игорь Лавров, Иван Мальцев
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 4
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
