Математическая логика: Учебное пособие для вузов - Ершов, Ю. Л. Юрий Леонидович (Наука, 1979)