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