Математическая логика: Дополнительные главы. 5-е изд

Авторы: Колмогоров Андрей, Драгалин А. Г., «Математическая логика: Дополнительные главы. 5-е изд»:
Авторы настоящей книги — А. Н. Колмогоров и А. Г. Драгапин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований но логике и философии математики. Их учебник «Математическая логика: Дополнительные главы» написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.