Справочная книга по математической логике. В 4 частях (комплект)
«Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем авторы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при перев...