Задачник по математической логике: учебное пособие - Горбатов В .А. (Москва, Изд-во МЭИ, 1972)