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