Э. Мендельсон “Введение в математическую логику”. Издательство “НАУКА”, Москва, 1976г.