Мендельсон Э. Введение в математическую логику / Э. Мендельсон; пер. с англ. Ф. А. Кабакова; под ред. С. И. Адяна. - Москва : Наука, Физматлит, 1971. - 320 с.. URL: http://sun.tsu.ru/limit/2016/000074653/000074653.djvu