Еще
Логотип LiveLibЛента
Абрахам Робинсон - Введение в теорию моделей и метаматематику алгебры
18+
User AvatarВаша оценка
0
(0)

Введение в теорию моделей и метаматематику алгебры

Абрахам Робинсон
Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В первых пяти главах излагаются такие известные классические результаты, как локальная теорема Мальцева, полнота и разрешимость теорий вещественна замкнутого и алгебра...

Издательство:

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

Серия:

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

Год издания:

1967

Язык:

Русский

Твердый переплет, 376 стр.

Тираж: 13000 экз.

Формат: 84x108/32 (130х200 мм)

Возрастные ограничения:

18+

Содержание

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 3

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Другие издания

  • Введение в теорию моделей и метаматематику алгебры