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