Клини С.К. Математическая логика : Пер. с англ. / С.К. Клини, 2005. - 480 с. с. - Текст : непосредственный.
Клини С.К. Математическая логика / С. К. Клини, 2007. - 480 с. с. - Текст : непосредственный.
Клини С.К. Введение в метаматематику / С. К. Клини; пер. с англ. А.С. Есенина-Вольпина, под ред. В. А. Успенского, 2009. - 523 с. с. - Текст : непосредственный.