"Основания математической логики" - читать интересную книгу автора (Карри Х.Б)