Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. Учебное пособие для вузов, 2-е изд., стер