Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. - М.: Изд-во Моск. ун-та, 1982