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