Поиск :
Личный кабинет :
Электронный каталог: Робинсон, Авраам - Введение в теорию моделей и метаматематику алгебры
Робинсон, Авраам - Введение в теорию моделей и метаматематику алгебры
Доступно
6 из 6
6 из 6
Книга
Автор: Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Серия: Математическая логика и основания математики
Издательство: Наука, 1967 г.
ISBN отсутствует
Автор: Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Серия: Математическая логика и основания математики
Издательство: Наука, 1967 г.
ISBN отсутствует
Заказать 
На полку
Книга
512.8 Р583
Робинсон, Авраам.
Введение в теорию моделей и метаматематику алгебры / А. Робинсон ; перевод с английского А. Б. Волынского ; под редакцией [и с предисловием] А. Д. Тайманова. – Москва : Наука, 1967. – 376 с. – (Математическая логика и основания математики). – Библиогр.: с.356-372. – На рус. яз. : 1.65.
Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют теория Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В пяти главах излагаются такие известные классические результаты, как локальная теория Мальцева, полнота и разрешимость теорией вещественно замкнутого полей, теорема Бета об определимости и др.
ББК 22.123
основной = математика : математическая логика
основной = математика : математическая логика : теория моделей
00000000417143 МАТН 512.8 Р583
00000000414526 МАТН 512.8 Р583
00000000414527 МАТН 512.8 Р583
00000000414528 МАТН 512.8 Р583
00000000414529 МАТН 512.8 Р583
00000000414530 МАТН 512.8 Р583
512.8 Р583
Робинсон, Авраам.
Введение в теорию моделей и метаматематику алгебры / А. Робинсон ; перевод с английского А. Б. Волынского ; под редакцией [и с предисловием] А. Д. Тайманова. – Москва : Наука, 1967. – 376 с. – (Математическая логика и основания математики). – Библиогр.: с.356-372. – На рус. яз. : 1.65.
Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют теория Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В пяти главах излагаются такие известные классические результаты, как локальная теория Мальцева, полнота и разрешимость теорией вещественно замкнутого полей, теорема Бета об определимости и др.
ББК 22.123
основной = математика : математическая логика
основной = математика : математическая логика : теория моделей
00000000417143 МАТН 512.8 Р583
00000000414526 МАТН 512.8 Р583
00000000414527 МАТН 512.8 Р583
00000000414528 МАТН 512.8 Р583
00000000414529 МАТН 512.8 Р583
00000000414530 МАТН 512.8 Р583