Колмогоров А.Н., Драгалин А.Г. - Введение в математическую логику - 1982.djvu1.50 MB
А. Н. Колмогоров, А. Г. Драгалин - Математическая логика.djvu1.77 MB
Колмогоров А.Н., Драгалин А.Г. - Математическая логика (Классический университетский учебник, 3-е изд.) - 2006.djvu3.34 MB
Драгалин А.Г. - Конструктивная теория доказательств и нестандартный анализ - 2003.djvu7.87 MB