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