Винтаж: Справочная книга по математической логистике

Под редакцией Дж.Барвайса
Справочная книга по математической логике. В 4 частях (комплект)
Перевод с английского.
Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике.
Из многообразия относящихся сюда тем авторы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике. Настоящее издание состоит из четырех книг:
«Теория моделей»
«Теория множеств»
«Теория рекурсии»
«Теория доказательств и конструктивная математика».
В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги.
Русский перевод каждой части дополнен статьей отечественных авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания.
Оригинальное название - Handbook of Mathematical Logic
Издательство:
Главная редакция физико-математической литературы издательства "Наука",1982 г.1.520 стр.
Состояние книг - Отличное