Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В.Ломоносова, и содержит классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Книга предназначена для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Изложение фундаментальных фактов современной логики (начальных понятий теории множеств, основ логики высказываний и логики предикатов) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
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 "Vvedenie v matematicheskuju logiku" napisan na osnovanii kursa matematicheskoj logiki, chitavshegosja oboimi avtorami na mekhaniko-matematicheskom fakultete MGU im. M.V.Lomonosova, i soderzhit klassicheskoe izlozhenie ponjatij i rezultatov matematicheskoj logiki s elementami teorii mnozhestv, teorii algoritmov i osnovanij matematiki. Kniga prednaznachena dlja nachinajuschikh matematikov, kotorye zhelajut oznakomitsja so stroeniem matematicheskogo jazyka i matematicheskikh teorij. Izlozhenie fundamentalnykh faktov sovremennoj logiki (nachalnykh ponjatij teorii mnozhestv, osnov logiki vyskazyvanij i logiki predikatov) ne predpolagaet spetsialnoj podgotovki i rasschitano na shirokij krug chitatelej, interesujuschikhsja matematicheskoj logikoj i filosofskimi problemami sovremennoj matematiki.
