Курс лекций по математической логики и теории алгоритмов для студентов специализирующихся в области защиты информации