Задачи и упражнения по математической логике и теории алгоритмов: Учебное методическое пособие - Зюзьков, В. М. Валентин Михайлович (Приоритетные национальные проекты. Образование, 2007)