Введение в математическую логику: пер. с англ. - Мендельсон Э. Эллиот (Москва, Наука, 1971)