Колмогоров А. Н. Математическая логика : [учебное пособие для математических специальностей вузов] / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Изд. 3-е, стер.. - Москва : URSS [и др.], печ. 2006. - 238 с. - ( Классический университетский учебник )