Романович В. А. Лекции по математической логике : [учебное пособие для математических направлений и специальностей университетов]. Ч. 1 / В. А. Романович ; Том. гос. ун-т. - Томск : Том. гос. ун-т, 2005. - 408 с.: ил.