Элементы математической логики - Новиков, Петр Сергеевич (Математическая логика и основания математики, 1959)