Математическая логика - 3 изд.

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