Клини С. К. Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 3-е, стереотип.. - М. : Едиториал УРСС, 2007. - 480 с.