Содномов Б.С. Двенадцать лекций по математической логике : Учеб. пособие / Б.С.Содномов, 1998. - 48 с. - Текст : непосредственный.