Математическая логика: учебник - Никольская И. Л. Инна Львовна (Москва, Высшая школа, 1981)