Мендельсон Э. Введение в математическую логику / Э. Мендельсон; Пер. с англ. Ф. А. Кабакова; Под ред. С. И. Адяна. - 3-е изд.. - М. : Наука. Физматлит, 1984. - 319, [1] с.