Основания математической логики пер. с англ. - Карри Х. Хаскелл (Москва, Мир, 1969)