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