Клини С. К. Математическая логика / Стефан Коул Клини; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с.