Агибалов Г. П. Лекции по математической логике и теории алгоритмов : учебно-методический комплекс / Агибалов Г. П. ; Том. гос. ун-т, Ин-т дистанционного образования. - Томск : ИДО ТГУ, 2007. - . URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895