Название: Введение в теорию моделей и метаматематику алгебры
Автор: Робинсон А.
Издательство: М.: Наука
Год: 1967
Формат: PDF/DjVu
Страниц: 377
Размер: 50.1 MB
Язык: Русский

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