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