Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Avtory nastojaschej knigi - A.N.Kolmogorov i A.G.Dragalin - vydajuschiesja otechestvennye matematiki, okazavshie glubokoe vlijanie na stil i napravlenie mirovykh issledovanij po logike i filosofii matematiki. Ikh uchebnik "Matematicheskaja logika: Dopolnitelnye glavy" napisan na osnovanii kursa matematicheskoj logiki, chitavshegosja oboimi avtorami na mekhaniko-matematicheskom fakultete MGU im. M.V.Lomonosova. Izlozhenie fundamentalnykh faktov sovremennoj logiki (nachal aksiomaticheskoj teorii mnozhestv, teorii algoritmov, teoremy Gjodelja o nepolnote, programmy Gilberta obosnovanija matematiki) ne predpolagaet spetsialnoj podgotovki i rasschitano na shirokij krug chitatelej, interesujuschikhsja matematicheskoj logikoj i filosofskimi problemami sovremennoj matematiki.
