Колмогоров математическая логика

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