Подробное описание документа

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Дополнительные главы : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - М. : URSS : Едиториал УРСС, 2013. - 236 с. - (Классический университетский учебник). - Библиогр.: с. 227-228. - ISBN 978-5-354-01446-0.

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