Лекции по основам математической логики и теории алгоритмов : Учеб. пособиеЧижухин, Геннадий Николаевич199920 с.