Название: Введение в теорию моделей и метаматематику алгебры Автор: Робинсон А. Издательство: М.: Наука Год: 1967 Формат: PDF/DjVu Страниц: 377 Размер: 50.1 MB Язык: Русский
Книга является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией модулей и содержит основные достижения теории модулей узкого исчисления предикатов, полученные до 1963 г. Так на стыке двух наук, алгебры и математической логики, возникла новая теория, изучающая связь алгебры и арифметики с математической логикой, которую в первые годы считали алгебраической и называли метаматематикой алгебры. Дальнейшее развитие показало, что теория имеет свою систему понятий, свои методы и, что важнее всего, свою проблематику. В последние годы ее называют теорией моделей.
Скачать Робинсон А. - Введение в теорию моделей и метаматематику алгебры [1967, PDF/DjVu]
|