Математическая логика: пер. с англ. - Клини С. К. Стефан Коул (Москва, Мир, 1973)