Редакторы: Дж Барвайс Юрий Ершов Переводчики: С Гончаров В Дзгоев К Самохвалов Д Свириденко Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множествqбфцйн", "Теория рекурсии", "Теория доказательств и конструктивная математика" Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие места в основном тексте издания Издание в целом рассчитано вдецкна всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики Перевод с английского.